Scientific Software Engineer – Machine Programming

About the role

Summary

This role helps the scientists who build and operate QuEra's neutral-atom quantum computers program those machines effectively. You will maintain the domain-specific language and compiler stack, built on the open-source Kirin toolchain, that experimental physicists use every day to run their experiments.

You will work closely with physicists and control stack engineers. You'll help machine teams turn new experiments into working programs, keep the toolchain reliable as our hardware evolves, and drive its integration with our control system. The role suits an engineer who enjoys building tools and also helping others succeed with them.

Responsibilities

- Maintain the domain-specific language and its compilation stack: triage issues, fix bugs, review pull requests, manage releases and keep CI, tests and dependencies healthy.

- Act as the point of contact for machine and testbed teams programming their experiments. Help them build new experiments, port legacy programs and diagnose compilation or runtime problems.

- Work with control stack engineers on integrating compiled programs with our control system. This includes defining and evolving the program representation passed between the compiler and the control system, keeping the two in sync across releases, and debugging problems that span both.

- Turn user problems into minimal reproducible reports, regression tests and focused fixes, and work with the compiler team on larger language or IR changes.

- Find and fix performance problems in program compilation and execution, such as compile time, program size and timing correctness.

- Write and maintain user-facing documentation, tutorials, example programs and agent skills that make it easier for physicists to write correct programs.

- Work with the hardware control team to support new channel types, control hardware and machine configurations.

- Collect feedback from machine users and turn it into a prioritized roadmap for usability improvements.

Qualifications

- Bachelor's or Master's degree in Computer Science, Physics, Electrical Engineering or a related field, or equivalent professional experience.

- Strong Python skills, including type hints, packaging and testing (pytest).

- Enjoys building tools for, and working closely with, scientists who are not professional software developers. Clear written and verbal communication.

- Experience working across team boundaries: agreeing on interfaces, coordinating changes between components and debugging problems that span several systems.

- Experience debugging unfamiliar code and reducing complex failures to minimal reproductions.

- Familiarity with the full software lifecycle: version control, code review, testing, CI/CD, logging, profiling, debugging and documentation.

Preferred Qualifications

- Experience with compilers, domain-specific languages or SSA-based intermediate representations (experience with Kirin, MLIR or LLVM is a plus).