Get roles like this, scored and matched, in your inbox.
Sign up free →Job Opening
Advanced Compiler Engineer - Quantum Software - 1044Hybrid — Full-timeUK Cambridge
Quantinuum · Posted today
Shape the design of TKET, Quantinuum's next-generation quantum compiler, and contribute to the Guppy quantum programming language in a small, dynamic team.
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.
- 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.
- 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.
…
This posting is sourced from Quantinuum's own career site — applying takes you there directly.
Get roles like this, scored and matched, in your inbox.
Sign up free →Related roles
There are 128 open roles at Quantinuum right now. This role centers on Compiler Design, Quantum Computing, Rust, and Python.
Want roles like this found for you?
Set your Focus once. Career Engine screens every new opening every week.
A scored, explained shortlist — not a keyword match — delivered weekly. Free for one profile.