Scientific Software Engineer - Compiler

About the role

QuEra Computing, Inc. seeks a creative and collaborative Scientific Software Engineer to help solve the unique software challenges of developing state-of-the-art simulation tools and compilers for QuEra’s neutral-atom quantum computers. You will work with a vibrant scientific software team and a community of industry and academic collaborators to address fascinating challenges, ranging from classical compiler techniques to modern methods for quantum simulation. This role involves building QuEra’s compiler pipeline alongside experimental and computational physicists, from low-level hardware instructions to high-level programming languages using our internal toolchain. You will develop new compiler infrastructure, design programming languages, and co-design compilers with cutting-edge neutral-atom hardware and quantum error correction technology.

Responsibilities

• Develop and maintain QuEra’s Static Single Assignment intermediate representations-based compiler infrastructure and compiler components at various abstractions used by hardware engineers and scientists.
• Design novel domain-specific languages specific to our hardware as well as the Bloqade SDK together with the team.
• Integrate existing simulation tools with the compiler pipeline and cloud service.
• Communicate and collaborate with QuEra scientists and external customers to meet their use case requirements.

Qualifications

• Ph.D. in Computer Science with a focus on quantum computation, architecture, programming language, or compiler design, or equivalent professional experience.
• Enthusiasm for building software tools for scientists, especially physicists.
• Experience with Python semantics, Python type hints, and the CPython interpreter.
• Experience with at least one compiled language and familiarity with its type system (e.g., C++, Julia, Rust, Haskell, OCaml).
• Experience with Static Single Assignment intermediate representations-based compiler development.
• Knowledge of the full software development lifecycle, including version control, code review, testing, CI/CD, logging, profiling, debugging, and documentation.
• Knowledge of quantum computing basics, such as common quantum algorithms and quantum information theory.

Preferred Qualifications

• Experience with LLVM or MLIR for compiler development, or experience with an existing compiler framework.
• Programming language design, especially in programming language theory.
• Quantum program optimization (e.g., quantum circuit simplification, scheduling, routing).
• Quantum error correction.
• Contributions to existing open-source libraries.
• Experience with existing circuit simulation tools (e.g., Cirq, Qiskit, CUDA Quantum).

Pay

The approximate base salary range for this position is $102,400 - $166,400. We consistently monitor external market data and update base salary ranges accordingly. Base compensation decisions are based on several factors, including geographic placement, role-specific knowledge, skills, and experience. In addition to base salary, we provide equity grants for all new hires.