Scientific Software Lead — Infrastructure

Bostonfull timeOn Site

Apply on Employer Site

senior

$150k–$240k

H1B: yes

QuEra Computing Scientific Software Lead at QuEra Computing to manage the Infrastructure team and lead development of shared programming language, compiler, and runtime foundations. Provide technical leadership and collaborate with researchers and engineers to build reusable infrastructure.

Responsibilities

This role suits someone with strong programming languages and compiler expertise who enjoys mentoring engineers, making thoughtful architectural decisions, and supporting teams with different technical needs. Prior quantum computing experience is helpful but not required.
Manage and build the Infrastructure team: hire and mentor engineers, provide clear feedback, and establish priorities that balance foundational work with the needs of partner teams.
Lead the team’s technical direction in collaboration with Scientific Software leadership, including 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 directly to design reviews, code reviews, and critical engineering work.
Partner with research and engineering teams to understand their 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.

Qualification

Strong grounding in program semanticsSound judgment in balancing generalityExtensible compiler frameworksType systemsInterpreter and virtual machine designRust and PythonCompiler testing

Required

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, with the ability to apply that knowledge to concrete 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 the communication skills to resolve requirements across teams.

Preferred

Substantial contributions to well-known open-source compiler, programming language, or runtime projects, such as LLVM/MLIR, Clang, GCC, Rust, CPython, or comparable ecosystems.
Extensible compiler frameworks, domain-specific languages, staged programming, or meta-programming.
Type systems, program semantics, abstract interpretation, effect systems, or formal verification.
Interpreter and virtual machine design, bytecode, runtime interfaces, or deterministic execution.
Rust and Python, including infrastructure spanning multiple implementation languages.
Compiler testing, differential testing, fuzzing, equivalence checking, or performance benchmarking.
Leading shared infrastructure through architectural changes and adoption by multiple teams.
Supporting research-oriented development and turning experimental ideas into maintained infrastructure.