Research Software Engineer / Researcher in Quantum Computing and Verification – (Job ID: 186324)

RFCSR; Oxford; On-site; GBP 42,000 - 64,000; Full time

Job summary

University of Oxford in Oxford, UK seeks a Research Software Engineer / Researcher in Quantum Computing and Verification to advance state-of-the-art in quantum verification and software tools. The role focuses on reliability, correctness, and scalability of quantum technologies, with collaboration across disciplines and international partners.

You will contribute to research design, implement experimental software systems, and support dissemination through publications and open-source tooling.

Qualifications

• PhD or equivalent research experience in CS/math/physics.
• Strong track record or potential in quantum computing, formal methods, or verification.
• Ability to work independently and in collaborative research teams.

Responsibilities

• Participate in research design and implementation of experimental software.
• Develop tools and prototypes for quantum verification and analysis.
• Collaborate with international researchers and publish findings.
• Contribute to open-source or experimental tooling supporting the project.

Skills

Quantum computing

Formal methods

Scientific programming

Research software tools

Academic publications

Mathematical reasoning

Interdisciplinary collaboration

Education

PhD or equivalent

Tools

Python

Q#

Job description

Research Software Engineer / Researcher in Quantum Computing and Verification – (Job ID: 186324)

University of Oxford
Oxford, United Kingdom

The University of Oxford is recruiting for a research-focused position within its Department of Computer Science, contributing to advanced work in quantum computing, formal verification, and software engineering for quantum systems. The role supports cutting-edge research aimed at improving the reliability, correctness, and scalability of quantum computing technologies through rigorous computational and theoretical methods.

The postholder will work within a highly interdisciplinary research environment focused on quantum information science, verification methodologies, and software tools that support quantum algorithm development and analysis. The position involves contributing to ongoing research projects that explore how quantum programs can be formally specified, tested, and verified to ensure correctness in emerging quantum hardware and software systems.

The role includes active participation in research design, implementation of experimental software systems, and collaboration with academic researchers and international partners in quantum computing and theoretical computer science. The successful candidate will contribute to peer-reviewed publications, research dissemination, and development of open-source or experimental tools supporting the project’s scientific objectives.

This is a research-intensive appointment within one of the world’s leading institutions in computer science and quantum computing research, offering the opportunity to work at the forefront of foundational and applied quantum technologies.

Eligibility Criteria

Applicants are expected to hold a strong academic background in computer science, mathematics, physics, or a closely related discipline. A relevant PhD or equivalent research experience is typically required for senior research roles. Candidates should demonstrate a strong research track record or clear potential in areas related to quantum computing, formal methods, or software verification.

Experience in academic research environments and familiarity with interdisciplinary computational science projects is desirable. Applicants should be able to work independently while contributing effectively to collaborative research teams.

Required expertise/skills

• Strong knowledge of quantum computing concepts and quantum information theory
• Experience in formal methods, program verification, or theoretical computer science
• Strong programming ability in relevant languages used for scientific or quantum computing research
• Experience developing research software tools or experimental prototypes
• Ability to contribute to academic publications and technical reports
• Strong analytical and mathematical reasoning skills
• Ability to work in interdisciplinary, collaborative research environments

Salary details
Not specified in the provided listing summary page (salary typically depends on grade and experience as per University of Oxford research staff pay scales)

Application Deadline
Not specified on the provided vacancy preview page (deadline is set within the full advert and application portal)