Quantinuum are seeking a Research Software Engineer to join our growing Quantum Software team in Cambridge, UK. In this role, you will help shape the design and implementation of the Guppy quantum programming language and contribute to the next generation of the TKET quantum compiler. This is a unique opportunity to work at the intersection of software development, compiler design, and quantum computing research.
You will collaborate closely with a small, dynamic team throughout the full development lifecycle — from research and design to programming and testing — with the freedom to think independently and make a real impact.
Key Responsibilities
Maintain and contribute to a Python-based compiler codebase. Design and implement novel features for quantum programming languages. Develop and apply optimization methods for quantum programs. Collaborate with key stakeholders across research and engineering teams.
Key Requirements
Software development experience, preferably in Python or Rust. Broad knowledge of programming languages, paradigms, and compiler concepts. Ability to work collaboratively, communicate technical ideas clearly, and write clean, maintainable code. Familiarity with collaboration tools (e.g., version control, issue tracking) and development tools (e.g., debugger, profiler, testing frameworks). A 2:1 or higher degree in Computer Science, Mathematics, Engineering, or a related discipline. Ability to read and implement ideas from technical research materials. Knowledge of quantum computing, quantum algorithms, or programming quantum systems is advantageous.
Desirable Skills
Experience designing programming languages or domain-specific languages. Familiarity with formal methods, type theory, or program verification tools. Background in large software system architecture and design.Experience with compiler frameworks such as LLVM or MLIR. 
