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 mathematics and computer science to help build our quantum compiler. We hire across levels - from researchers coming out of a strong M.Sc./Ph.D. to seasoned engineers.
The team is working on
- 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)
What you'll do
- Design and develop production-grade capabilities for the quantum compiler
- Own your code - it is production code that customers use to meet their goals
- Contribute to the architecture of the quantum compiler and the definition of our high-level quantum programming language
- Collaborate closely with product and algorithm teams to deliver production-ready quantum capabilities
Who you are
- M.Sc. or higher in Mathematics, Computer Science, or a related quantitative field, with a thesis or equivalent research experience
- Strong foundations in algorithms and complexity, plus the math underpinning quantum computing (advanced linear algebra, group theory, Hilbert spaces)
- 5+ years of software engineering experience
- Experience building production-quality software systems
- Strong understanding of software architecture, APIs, testing, and maintainability
Bonus points
- Machine learning, neural networks, or reinforcement learning - a significant plus (e.g. learned heuristics or RL for compiler and circuit optimization)
- Experience with Python performance optimization
- Experience with scientific computing or simulation software
- Prior experience in compiler development
Skills Required
- M.Sc. or higher in Mathematics, Computer Science, or related quantitative field with thesis or equivalent research experience
- Strong background in quantum information and quantum algorithms
- Strong foundations in algorithms and complexity, advanced linear algebra, group theory, and Hilbert spaces
- 5+ years of software engineering experience
- Experience building production-quality software systems
- Strong understanding of software architecture, APIs, testing, and maintainability
- Experience with machine learning, neural networks, or reinforcement learning (for compiler/circuit optimization)
- Experience with Python performance optimization
- Experience with scientific computing or simulation software
- Prior experience in compiler development
- Experience implementing quantum synthesis algorithms (arithmetic, multi-controlled-gate synthesis, state preparation, uncomputation, Hamiltonian simulation, fault-tolerant compilation)
What We Do
Welcome to Classiq - Leading Quantum Computing Software Inspired by traditional semiconductor design automation, Classiq combines deep quantum expertise with novel implementation of classical computing software automation. This combination of deep technologies is designed to transform the quantum software stack, today and in the future. With an IDE, SDK, Compiler and OS for quantum computing, Classiq is positioned at the intersection of quantum physics and computer science. Classiq’s transformative offering is being woven into the fabric of the quantum computing ecosystem: QUANTUM DEVELOPERS: As quantum computers get more powerful gate-level manual coding becomes impractical, and at times impossible. Classiq’s unique technology changes that. Classiq’s high-level quantum development environment offers functional libraries and deploys advanced heuristics and algorithms to synthesize quantum circuits automatically. Experts and beginners alike are now able to implement advanced scalable quantum circuits that are automatically optimized for a specific quantum machine, as well as easy benchmarking. Execution on quantum machines and simulators is built-in. QUANTUM COMPUTER PROVIDERS: Classiq’s software can be deployed as a dedicated front-end operating system offering customers best-in-class features maximizing customer insights and productivity. QUANTUM CLOUDS: Classiq’s hardware agnostic development software enables programs in all leading quantum programming languages providing broad access to and driving adoption of cloud platforms. HPC & ADVANCED COMPUTATION: Classiq’s scalable automation and classical computing underpinning make it a natural partner for today’s supercomputing providers seeking to integrate seamlessly with quantum computing. Classiq is collaborating with the world’s leading supercomputing providers to build seamless architectures to combine the best of both classical and quantum computing.
