Advanced Compiler Engineer - Quantum Software

Quantinuum are seeking an Advance Compiler Engineer to join our growing Quantum Software team in Cambridge, UK. In this role, you will help shape the design and implementation of the next generation TKET quantum compiler and contribute to the Guppy quantum programming language. 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 Rust-based compiler codebase.
• Develop and apply optimization methods for quantum-classical programs.
• Design and implement novel features for quantum programming languages.
• Collaborate with key stakeholders across research and engineering teams.

You Must Have

• Software development experience, preferably in Rust or Python.
• 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.

We Value

• Experience designing classical compilers and programming languages.
• Knowledge of quantum computing, quantum algorithms, or programming quantum systems.
• Experience with compiler frameworks such as LLVM or MLIR.
• Familiarity with formal methods, type theory, or program verification tools.
• Background in large software system architecture and design.