Scientific Software Engineer - Compiler
Job Fit Check
Base Career helps you apply smarter for this job.
Key skills for this role
Role Overview
QuEra Computing seeks a Scientific Software Engineer to develop state-of-the-art simulation tools and compilers for neutral-atom quantum computers. The role involves building compiler infrastructure, designing domain-specific languages, and collaborating with scientists and customers.
Key Skills for This Role
Full Job Posting
Overview
QuEra Computing seeks a Scientific Software Engineer to develop state-of-the-art simulation tools and compilers for neutral-atom quantum computers. The role involves building compiler infrastructure, designing domain-specific languages, and collaborating with scientists and customers.
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.
Requirements
- Ph.D. in Computer Science with a focus on quantum computation/architecture/programming language/compiler, or equivalent professional experience.
- 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.
- 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.
About queracomputinginc
Neutral-atom quantum computing company building quantum computers for researchers, businesses, governments, and high-performance computing centers.
Visit company websiteApply for this job in 1 click
Skip the repetitive application forms
Install the Base Career Chrome Extension and autofill job applications across major job boards with your profile.
Trusted by over 500,000 job seekers on Base Career