Advanced Compiler Engineer - Quantum Software - 1044

Quantinuum; Cambridge; On-site; GBP 70,000 - 90,000; Full time

Job summary

Quantinuum in Cambridge is seeking an Advanced Compiler Engineer to help shape the TKET quantum compiler and contribute to the Guppy language. You will work across research and engineering teams in a dynamic, responsive software team.

The role involves designing features for quantum programming and optimizing quantum-classical programs, with emphasis on collaboration and independent thinking in a cutting-edge quantum software environment.

Qualifications

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

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.

Skills

Rust

Python

Compiler concepts

Quantum computing

Team collaboration

Education

2:1 or higher degree in Computer Science or related

Tools

Git

Debugger

Profiler

Testing frameworks

Job description

Advanced Compiler Engineer - Quantum Software - 1044 at Quantinuum, UK Cambridge. A mid-level full time position in the Quantum Computing Software team, listed under software engineering.

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.

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.

Quantinuum is a leading quantum computing company delivering a full stack platform designed to make quantum computing deployable in real-world environments. With active engagements spanning pharmaceuticals, material science, financial services, government, industrial sectors, and leading academic and research institutions worldwide, we are helping organizations unlock the transformative potential of quantum computing.

Our global team of more than 800 employees includes many of the world's leading scientists, engineers, and researchers, with more than 70% of our technology team holding advanced degrees at the Master's or PhD level. Headquartered in Broomfield, Colorado, Quantinuum operates across the United States, United Kingdom, Germany, Japan, and Singapore.

By joining Quantinuum, you’ll help shape the future of quantum computing, pushing the limits of technology, and making the impossible possible.

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.

Requirements

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