Scientific Software Engineer- Shuttle Compilation

Overview In this role you will help build QuEra’s compiler pipeline for neutral-atom quantum hardware and contribute to language and toolchain design. You’ll collaborate with scientists and external partners to optimize performance from circuit-level programming to hardware control. You’ll develop new heuristics, architectures, and a DSL to program atom shuttling, tackling challenges across classical compilation and quantum system design. This is a hands-on, cross-disciplinary opportunity to shape software for cutting-edge quantum technology. Compensation / Benefitsbase salary range $102,400 - $166,400equity grants for all new hiresdiverse workplace and equal opportunity employerfocus on innovation in quantum computingopportunity to collaborate with scientists and external partners ResponsibilitiesDevelop and maintain QuEra's compiler pipeline from circuit-level quantum programs to Pulse-level SSA-based intermediate representationDesign a novel domain-specific language to program atom shuttling inside QuEra’s neutral-atom quantum computersImplement and improve optimization methods for shuttling workflows (routing/scheduling/planning heuristics, constraint-aware transformations, and cost-model-driven decisions)Develop static analysis for both the quantum circuit and atom shuttle languagesCommunicate and collaborate with QuEra scientists and external customers to meet use case requirements Key requirementsPh.D. in Computer Science with focus on programming language design and compilationEnthusiastic about building software tools for scientists, especially physicistsExperience with Python semantics, Python type hints, CPython interpreterExperience with at least one compiled language and its type system (e.g., C++, Julia, Rust, Haskell, OCaml)Experience with Static Single Assignment (SSA) intermediate representations-based compiler developmentKnowledge of full software development lifecycle (version control, code review, testing, CI/CD, logging, profiling, debugging, and documentation)collaborationcommunicationproblem-solvingPython semantics and CPythontype hints and static typingC++, Julia, Rust, Haskell, OCaml (or similar)