Scientific Software Lead — Infrastructure

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

Benefits offered by this job

Equity grants

Job summary

QuEra Computing, Inc. is seeking a Scientific Software Lead to manage the Infrastructure team and drive the development of shared language, compiler, and runtime foundations for our quantum software stack.

The role combines people management with hands-on technical leadership across researchers and engineers. You will guide language design, IR development, and execution infrastructure while partnering with cross-functional teams to meet complex requirements and deliver reusable tooling for

Qualifications

• Strong practical compiler engineering and language design experience.
• Ability to reason about program semantics, IRs, and transformations.
• Proven mentoring of engineers and delivering on priorities.
• Experience delivering developer infrastructure used by researchers or engineers.

Responsibilities

• Manage and grow the Infrastructure team, hiring and mentoring engineers.
• Define and guide the team’s technical direction for language, IRs, and shared execution infra.
• Lead language and compiler design with emphasis on correctness and practicality.
• Collaborate with researchers and engineers to translate requirements into stable interfaces and tooling.
• Ensure quality, performance, and maintainability of infrastructure and migration plans.

Skills

Compiler engineering

Programming languages design

Mentoring

Software architecture

Team leadership

Tools

LLVM/MLIR

Job description

Scientific Software Lead - Infrastructure

Boston, MA, USA

Summary

QuEra Computing is hiring a Scientific Software Lead to manage the Infrastructure team and lead the development of shared programming language, compiler, and runtime foundations for our scientific software stack.

The team builds shared language, compiler, and runtime infrastructure that supports research and engineering across QuEra's quantum software stack. Its work centers on language design, program semantics, intermediate representations, compiler analyses and transformations, and execution frameworks.

You will combine people management with hand-on technical leadership, working 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.

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.

Responsibilities

• 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.

Qualifications

• 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 Qualifications

• 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.
• Automated program synthesis, search-based optimization, or autoresearch systems.
• Scientific computing, hardware compilation, or quantum software.

We value depth in relevant areas; experience across every topic is not expected. A PhD is welcome but not required.

The approximate base salary range for this position is $150,000 - $240,000.

• 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.

Voluntary Self-Identification

For government reporting purposes, we ask candidates to respond to the below self-identification survey.Completion of the form is entirely voluntary. Whatever your decision, it will not be considered in the hiringprocess or thereafter. Any information that you do provide will be recorded and maintained in aconfidential file.

As set forth in QuEra Computing, Inc.'s Equal Employment Opportunity policy,we do not discriminate on the basis of any protected group status under any applicable law.

If you believe you belong to any of the categories of protected veterans listed below, please indicate by making the appropriate selection.As a government contractor subject to the Vietnam Era Veterans Readjustment Assistance Act (VEVRAA), we request this information in order to measurethe effectiveness of the outreach and positive recruitment efforts we undertake pursuant to VEVRAA. Classification of protected categoriesis as follows:

A "disabled veteran" is one of the following: a veteran of the U.S. military, ground, naval or air service who is entitled to compensation (or who but for the receipt of military retired pay would be entitled to compensation) under