QuEra Computing is the leader in quantum computers based on neutral atoms. Use our 256-qubit machine on AWS Braket.
About the Company
QuEra Computing, based in Boston, is a leading developer of advanced quantum computers built on neutral-atom technology. Founded in 2018, the company is rooted in groundbreaking research from Harvard University and MIT. QuEra focuses on building highly scalable quantum systems designed to solve complex problems that are beyond the reach of classical computing, with a strong emphasis on real-world commercial applications.
About the Role
QuEra Computing, Inc. is seeking a creative and collaborative Scientific Software Engineer to develop advanced simulation tools and compilers for their neutral-atom quantum computers. The role involves working with a multidisciplinary team of scientists and engineers to address challenges spanning classical compiler techniques and modern quantum simulation methods. The engineer will contribute to building QuEra’s compiler pipeline, from low-level hardware instructions to high-level programming languages, co-designing with experimental and computational physicists, and integrating cutting-edge hardware and quantum error correction technology.
Responsibilities
- Develop and maintain QuEra’s compiler infrastructure based on Static Single Assignment (SSA) intermediate representations
- Design novel domain-specific languages tailored to QuEra hardware and the Bloqade SDK
- Integrate existing simulation tools with the compiler pipeline and cloud services
- Collaborate and communicate with QuEra scientists and external customers to address use case requirements
Qualifications
- Ph.D. in Computer Science focused on quantum computation, architecture, programming languages, or compiler technology, or equivalent professional experience
- Enthusiasm for building scientific software tools, especially for physicists
- Experience with Python semantics, type hints, and the CPython interpreter
- Proficiency in at least one compiled language (e.g., C++, Julia, Rust, Haskell, OCaml) and understanding of its type system
- Experience developing SSA intermediate representations-based compilers
- Knowledge of full software development lifecycle, including version control, code review, testing, CI/CD, logging, profiling, debugging, and documentation
- Basic knowledge of quantum computing concepts, such as common quantum algorithms and quantum information theory
Preferred Skills
- Experience with LLVM or MLIR compiler frameworks, or existing compiler development
- Background in programming language design and theory
- Experience with quantum program optimization, such as circuit simplification, scheduling, and routing
- Knowledge of quantum error correction techniques
- Contributions to open-source software libraries
- Familiarity with quantum circuit simulation tools such as Cirq, Qiskit, or CUDA Quantum