Research Software Engineer​/Researcher in Quantum Computing and Verification

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

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.

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.

• 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).

Final date to receive applications:
Not specified on the provided vacancy preview page (deadline is set within the full advert and application portal).