QuEra Computing, Inc. seeks to develop state-of-the-art simulation tools and compilers for its neutral-atom quantum computers.
Requirements
- 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.
- Experience with using LLVM or MLIR for compiler development, or experience with an existing compiler development
- Quantum program optimization, e.g quantum circuit simplification, scheduling, routing, etc.
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.
Other
- Communicate and collaborate with QuEra scientists and external customers to meet their use case requirements.
- Ph.D. in Computer Science with focus on quantum computation/architecture/programming language/compiler, or equivalent professional experience.
