Scientific Software Engineer – Compiler

Scientific Software Engineer – Compiler

Requirements

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

Responsibilities

• Development and maintain QuEra’s Static Single Assignment intermediate representations-based compiler infrastructure and compiler components at various abstractions used by our hardware engineers and scientists.
• Design novel domain specific languages specific to our hardware as well as 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.

Preferred Qualifications

• Experience with using LLVM or MLIR for compiler development, or experience with an existing compiler development
• Programming language design, especially programming language theory
• Quantum program optimization, e.g quantum circuit simplification, scheduling, routing, etc.
• Quantum error correction
• Contribution to existing open-source libraries
• Experience with existing circuit simulation tools, e.g, cirq, qiskit, CUDA Quantum, etc.