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

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

Oxford Full-Time 40000 - 55000 £ / year (est.) No working from home possible
R

At a Glance

  • Tasks: Join cutting-edge research in quantum computing and develop innovative software solutions.
  • Company: Be part of the prestigious University of Oxford's Department of Computer Science.
  • Benefits: Collaborate with top researchers and contribute to impactful publications.
  • Other info: Dynamic interdisciplinary environment with opportunities for career growth.
  • Why this job: Work at the forefront of quantum technologies and shape the future of computing.
  • Qualifications: Strong background in computer science, mathematics, or physics; PhD preferred.

The predicted salary is between 40000 - 55000 £ per year.

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

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

The University of Oxford is an exceptional employer, renowned for its commitment to research excellence and innovation in quantum computing. With a vibrant interdisciplinary work culture, employees benefit from collaborative opportunities with leading academics and international partners, fostering both personal and professional growth. The university's focus on cutting-edge research not only enhances the reliability and scalability of quantum technologies but also provides a stimulating environment for those passionate about advancing the frontiers of science.

R

Contact Details:

RFCSR Recruitment Team

StudySmarter Expert Advice🤫

We think this is how you could land Research Software Engineer / Researcher in Quantum Computing and Verification – (Job ID: 186324) in Oxford

Tip Number 1

Network like a pro! Reach out to people in the quantum computing field, attend relevant meetups or conferences, and connect with researchers at the University of Oxford. Building relationships can open doors that a CV alone might not.

Tip Number 2

Show off your skills! Create a portfolio showcasing your projects related to quantum computing and software verification. This could be anything from GitHub repositories to detailed case studies that highlight your problem-solving abilities.

Tip Number 3

Prepare for interviews by brushing up on your knowledge of quantum concepts and formal methods. Be ready to discuss your past research experiences and how they relate to the role. Practice common interview questions with a friend or mentor.

Tip Number 4

Don’t forget to apply through our website! It’s the best way to ensure your application gets seen. Plus, we love seeing candidates who are proactive about their job search and genuinely interested in joining our team.

We think you need these skills to ace Research Software Engineer / Researcher in Quantum Computing and Verification – (Job ID: 186324) in Oxford

Quantum Computing Concepts
Quantum Information Theory
Formal Methods
Program Verification
Theoretical Computer Science
Programming in Scientific Languages
Research Software Development

Some tips for your application 🫡

Show Off Your Skills:Make sure to highlight your strong academic background and any relevant experience in quantum computing or formal methods. We want to see how your skills align with the role, so don’t hold back!

Tailor Your Application:Take a moment to customise your application for this specific role. Mention how your past projects relate to quantum information science and software verification. It shows us you’re genuinely interested!

Be Clear and Concise:When writing your application, keep it clear and to the point. We appreciate well-structured applications that are easy to read. Use bullet points if it helps convey your message better!

Apply Through Our Website:Don’t forget to submit your application through our official website. It’s the best way to ensure we receive your details directly and can process your application smoothly!

How to prepare for a job interview at RFCSR

Know Your Quantum Stuff

Make sure you brush up on your quantum computing concepts and theories. Be ready to discuss how they apply to real-world problems, especially in verification and software engineering. This will show that you're not just familiar with the theory but can also think critically about its applications.

Show Off Your Research Experience

Prepare to talk about your previous research projects, especially those related to formal methods or program verification. Highlight any publications or tools you've developed, as this demonstrates your ability to contribute to ongoing research and collaborate effectively with others.

Demonstrate Your Programming Skills

Be ready to discuss your programming experience, particularly in languages relevant to quantum computing. If possible, bring examples of research software tools or prototypes you've worked on. This will help illustrate your technical capabilities and problem-solving skills.

Emphasise Collaboration

Since the role involves working in interdisciplinary teams, be prepared to share examples of how you've successfully collaborated with others in past projects. Discuss how you handle differing opinions and work towards a common goal, as this is crucial in a research environment.