Asks for

The ad says“Experience with at least one of the compiled languages and experienced with their type system, e.g C++, Julia, Rust, Haskell, OCamel, etc.”
The ad says“Knowledge of the full lifecycle of software development, including version control, code review, testing, CI/CD, logging, profiling, debugging, and documentation.”
The ad says“Knowledge of the full lifecycle of software development, including version control, code review, testing, CI/CD, logging, profiling, debugging, and documentation.”
The ad says“Knowledge of the full lifecycle of software development, including version control, code review, testing, CI/CD, logging, profiling, debugging, and documentation.”
The ad says“Knowledge of the full lifecycle of software development, including version control, code review, testing, CI/CD, logging, profiling, debugging, and documentation.”
The ad says“Experience with at least one of the compiled languages and experienced with their type system, e.g C++, Julia, Rust, Haskell, OCamel, etc.”
The ad says“Experience with at least one of the compiled languages and experienced with their type system, e.g C++, Julia, Rust, Haskell, OCamel, etc.”
The ad says“Knowledge of the full lifecycle of software development, including version control, code review, testing, CI/CD, logging, profiling, debugging, and documentation.”
The ad says“Experience with at least one of the compiled languages and experienced with their type system, e.g C++, Julia, Rust, Haskell, OCamel, etc.”
The ad says“Knowledge of the full lifecycle of software development, including version control, code review, testing, CI/CD, logging, profiling, debugging, and documentation.”
The ad says“Experience with Python semantics, Python type hints, CPython interpreter.”
The ad says“Knowledge of quantum computing basics, e.g., common quantum algorithms, quantum information theory basics.”
The ad says“Knowledge of quantum computing basics, e.g., common quantum algorithms, quantum information theory basics.”
The ad says“Knowledge of quantum computing basics, e.g., common quantum algorithms, quantum information theory basics.”
The ad says“Experience with at least one of the compiled languages and experienced with their type system, e.g C++, Julia, Rust, Haskell, OCamel, etc.”
The ad says“Experience with Static Single Assignment intermediate representations-based compiler development.”
The ad says“Knowledge of the full lifecycle of software development, including version control, code review, testing, CI/CD, logging, profiling, debugging, and documentation.”
The ad says“Knowledge of the full lifecycle of software development, including version control, code review, testing, CI/CD, logging, profiling, debugging, and documentation.”

Summary

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 have the opportunity to work with a vibrant scientific software team and a community of industry and academic collaborators and to help our growing team of diverse experts address fascinating challenges, ranging from classical compiler techniques to modern methods for quantum simulation. You will be building QuEra’s compiler pipeline together with experimental & computational physicists from low-level hardware instructions to high-level programming languages using our internal toolchain. This involves development of new compiler infrastructure and new programming language design and implementation. You will be co-designing compilers with cutting edge neutral-atom hardware and quantum error correction technology. This new direction involves multiple new challenges in both engineering and science.

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.

Qualifications

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.

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.

The approximate base salary range for this position is $102,400 - $166,400.

We are committed to equality, diversity and inclusion throughout our recruitment and selection processes.

All applicants are considered on the basis of their skills, experience, qualifications and suitability for the role. We do not tolerate discrimination on any grounds, including age, disability, gender reassignment, marriage or civil partnership, pregnancy or maternity, race, religion or belief, sex, or sexual orientation.

We are committed to making reasonable adjustments where needed to ensure that disabled applicants and employees are not disadvantaged during the recruitment process.

#LI-NB1

Asks for

Values