Scientific Software Engineer- Shuttle Compilation

QuEra Computing Inc.; Boston (MA); On-site; USD 102,000 - 166,000; Full time

Benefits offered by this job

Equity grants

Job summary

QuEra Computing, Inc. seeks a creative and collaborative Scientific Software Engineer to deliver the best performance out of neutral-atom quantum computers.

You will build the compiler pipeline with physicists from low-level hardware instructions to high-level languages using our internal toolchain. You will design a new DSL for atom shuttling and implement optimization methods for shuttling workflows, while collaborating with scientists and customers to meet diverse use cases.

Qualifications

• Ph.D. in Computer Science with focus on programming language design and compilation.
• Experience with Python semantics, Python type hints, CPython interpreter.
• Experience with at least one compiled language and its type system (C++, Julia, Rust, Haskell, OCaml).
• Experience with SSA intermediate representations-based compiler development.
• Knowledge of the full software development lifecycle (version control, code review, testing, CI/CD, logging, profiling, debugging, and documentation).

Responsibilities

• Develop and help maintain QuEra's compiler pipeline from circuit level quantum programs to QuEra's Pulse level IR using SSA-based infrastructure.
• Design a novel domain-specific language to program atom shuttling inside QuEra’s neutral atom quantum computers.
• Implement and improve optimization methods for shuttling workflows (routing/scheduling/planning heuristics, constraint-aware transformations, cost-model-driven decisions).
• Develop static analysis for both quantum circuit and atom shuttle languages.
• Communicate and collaborate with QuEra scientists and external customers to meet use case requirements.

Skills

Python semantics

Python type hints

CPython interpreter

Compiled languages and type systems

SSA-based compiler development

Software development lifecycle

Education

Ph.D. in Computer Science – programming language design and compilation

Tools

LLVM

MLIR

Open-source collaboration

Job description

QuEra Computing, Inc. seeks a creative and collaborative Scientific Software Engineer to help solve the unique software challenges to deliver the best performance out of 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 quantum system architecture. 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 heuristics, new architectures, and programming language design to optimize the performance of cutting edge neutral-atom hardware and quantum error correction technology. This new direction involves multiple new challenges in both engineering and science.

QuEra Computing, Inc. seeks a creative and collaborative Scientific Software Engineer to help solve the unique software challenges to deliver the best performance out of 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 quantum system architecture. 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 heuristics, new architectures, and programming language design to optimize the performance of cutting edge neutral-atom hardware and quantum error correction technology. This new direction involves multiple new challenges in both engineering and science.

Responsibilities

• Develop and help maintain QuEra's compiler pipeline from circuit level quantum programs to QuEra's Pulse level Intermediate representation using QuEra's Static Single Assignment based compiler infrastructure.
• Design a novel domain specific language to program atom shuttling inside QuEra’s neutral atom quantum computers.
• Implement and improve optimization methods relevant to shuttling workflows (e.g., routing/scheduling/planning heuristics, constraint-aware transformations, and cost-model-driven compilation decisions).
• Develop on static analysis for both the quantum circuit and atom shuttle level languages
• Communicate and collaborate with QuEra scientists and external customers to meet their use case requirements.

Qualifications

• Ph.D. in Computer Science with focus on programming language design and compilation
• 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.

Preferred Qualifications

• Experience with computer microarchitecture/hardware design
• Experience with using LLVM or MLIR for compiler development, or experience with an existing compiler development
• Experience or publication in quantum hardware oriented program optimization, e.g scheduling, routing etc.
• Quantum error correction
• Contribution to existing open-source libraries
• Knowledge of quantum computing basics, e.g., common quantum algorithms, quantum information theory basics.

The approximate base salary range for this position is $102,400 - $166,400. We consistently monitor external market data and update base salary ranges accordingly. We determine base compensation decisions on several factors, including as geographic placement, role-specific knowledge, skills, and/or experience. In addition to our base salary offerings, we also provide equity grants for all new hires.

QuEra is committed to cultivating a diverse work environment and is proud to be an equal opportunity employer. We highly value diversity in our current and future employees and do not discriminate (including in our hiring and promotion practices) based on race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, veteran status, disability status, or any other characteristic protected by law.