Scientific Software Engineer - Compiler

Responsibilities

• Develop and maintain QuEra’s Static Single Assignment intermediate representations-based compiler infrastructure and components
• Design novel domain specific languages and the Bloqade SDK
• Integrate existing simulation tools with the compiler pipeline and cloud service
• Collaborate with scientists and external customers to meet use case requirements

Requirements

• Ph.D. in Computer Science with focus on quantum computation, architecture, programming language, or compiler
• Experience with Python semantics, Python type hints, and CPython interpreter
• Experience with compiled languages and their type systems (e.g., C++, Julia, Rust, Haskell, OCaml)
• Experience with Static Single Assignment intermediate representations-based compiler development
• Knowledge of the full software development lifecycle (version control, CI/CD, testing, etc.)
• Knowledge of quantum computing basics, such as common algorithms and information theory

Preferred Qualifications

• Experience with LLVM or MLIR for compiler development
• Expertise in programming language design and theory
• Experience with quantum program optimization (circuit simplification, scheduling, routing)
• Knowledge of quantum error correction
• Contributions to existing open-source libraries
• Experience with circuit simulation tools like Cirq, Qiskit, or CUDA Quantum