Quantum Computing Research Engineer: Verification & Tools

RFCSR; Oxford; Hybrid; 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

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.