At Classiq Technologies, we're shaping the future of quantum computing. Our platform lets developers and enterprises design, optimize, and deploy quantum algorithms at scale, and is trusted by Fortune 500 leaders and global governments. Classiq is backed by 70 patents.
We're looking for a science-oriented software developer with a strong background in quantum information and quantum algorithms to help build our quantum compiler. We hire across levels, from researchers coming out of a strong M.Sc./Ph.D. to seasoned engineers.
Scope of the Quantum Compiler Team
The Qmod language and its compiler toolchain, semantics, type system, intermediate representation, and the next-generation compilation pipeline - this is a production compiler
The synthesis engine that lowers high-level programs into circuits optimized for width (qubits/ancillas), depth, and gate count under user constraints
Implement and improve quantum synthesis algorithms from the literature - arithmetic, multi-controlled-gate synthesis, Hamiltonian simulation (Trotterization, qDRIFT), state preparation, uncomputation, and fault-tolerant compilation (Clifford+T, routing)
Resource estimation for quantum programs
Debugging tools for quantum programs, for example, a visual model of the high-level program that lets users inspect and troubleshoot what they wrote
Compiler-pass performance and correctness, benchmarked against real algorithms (e.g. Shor's algorithm, quantum phase estimation, QSVT)