Scientific Software Lead — Infrastructure

QuEra Computing•Boston, MA

About The Position

QuEra Computing is hiring a Scientific Software Lead to manage the Infrastructure team and lead development of shared programming language, compiler, and runtime foundations for its scientific software stack. The team builds infrastructure supporting research and engineering across QuEra’s quantum software stack, with work focused on language design, program semantics, intermediate representations, compiler analyses and transformations, and execution frameworks. The role combines people management with hands-on technical leadership. The lead works closely with researchers and engineering leads to turn specialized requirements into coherent, reusable infrastructure. The scope may also include tools for automated research and program optimization. Prior quantum computing experience is helpful but not required.

Requirements

Experience managing or leading a technically strong software team, with demonstrated responsibility for mentoring, prioritization, and delivery.
Deep practical expertise in compiler engineering and programming language design, including intermediate representations, analyses, transformations, and extensible compiler architectures.
Strong grounding in program semantics, type systems, formal methods, or related theory, and ability to apply that knowledge to engineering decisions.
A record of designing and delivering substantial compiler, language, runtime, or developer infrastructure used by other engineers or researchers.
Strong software engineering skills and the ability to remain technically engaged through implementation, debugging, and review.
Sound judgment in balancing generality, correctness, performance, and delivery, and communication skills to resolve requirements across teams.

Nice To Haves

Substantial contributions to established open-source compiler, programming language, or runtime projects, such as LLVM/MLIR, Clang, GCC, Rust, CPython, or comparable ecosystems.
Experience with extensible compiler frameworks, domain-specific languages, staged programming, or meta-programming.
Experience with type systems, program semantics, abstract interpretation, effect systems, or formal verification.
Experience with interpreter and virtual machine design, bytecode, runtime interfaces, or deterministic execution.
Experience with Rust and Python, including infrastructure spanning multiple implementation languages.
Experience with compiler testing, differential testing, fuzzing, equivalence checking, or performance benchmarking.
Experience leading shared infrastructure through architectural changes and adoption by multiple teams.
Experience supporting research-oriented development and turning experimental ideas into maintained infrastructure.
Experience with automated program synthesis, search-based optimization, or autoresearch systems.
Experience with scientific computing, hardware compilation, or quantum software.
A PhD is welcome but not required.

Responsibilities

Manage and build the Infrastructure team, including hiring and mentoring engineers, providing clear feedback, and setting priorities that balance foundational work with partner-team needs.
Lead the team’s technical direction in collaboration with Scientific Software leadership, covering language abstractions, intermediate representations, compiler interfaces, and shared execution infrastructure.
Guide language and compiler design through explicit semantics, sound reasoning about correctness, and practical implementation; contribute to design reviews, code reviews, and critical engineering work.
Partner with research and engineering teams to understand requirements, identify useful shared abstractions, and support adoption through documentation, tooling, and stable interfaces.
Own the quality and evolution of the infrastructure, including testing, performance, maintainability, compatibility, and migration planning.