Scientific Software Engineer – Compiler with Haskell

Summary

QuEra Computing, Inc. is looking for a collaborative and innovative Scientific Software Engineer to tackle the unique challenges of building advanced simulation tools and compilers for our neutral-atom quantum computers. You’ll work alongside a dynamic team of scientists and engineers, contributing to everything from classical compiler techniques to novel quantum simulation methods. This role involves co-developing our compiler infrastructure—from low-level hardware instructions to high-level language design—while working closely with experts in experimental and computational physics. It’s a cutting-edge opportunity that blends scientific research with impactful engineering.

Key Responsibilities

• Build and maintain QuEra’s compiler infrastructure based on Static Single Assignment (SSA) representations across different abstraction layers.

• Help design domain-specific languages (DSLs) tailored to our hardware and integrate with our Bloqade SDK.

• Connect simulation tools to our compiler stack and cloud systems.

• Collaborate with in-house physicists and external partners to tailor solutions to user needs.

Required Qualifications

• Ph.D. in Computer Science (or equivalent experience) with a focus in quantum computing, compilers, or programming languages.

• Passion for creating tools that support scientific research, especially in physics.

• Strong experience with Python, including type annotations and internals (e.g., CPython).

• Proficient in at least one compiled language (e.g., C++, Rust, Julia, Haskell, OCaml) and comfortable with type systems.

• Familiarity with SSA-based compiler design and implementation.

• Solid understanding of full software development practices (version control, testing, CI/CD, debugging, etc.).

• Foundational knowledge of quantum computing concepts and algorithms.

Preferred Qualifications

• Experience using LLVM or MLIR for compiler development.

• Background in programming language theory and language design.

• Skills in optimizing quantum programs (e.g., circuit simplification, routing).

• Knowledge of quantum error correction techniques.

• Contributions to open-source software.

• Familiarity with quantum simulation tools like Qiskit, Cirq, or CUDA Quantum.

Diversity & Inclusion

QuEra is an equal opportunity employer that values diversity and inclusion. We’re committed to fostering a workplace where everyone—regardless of background or identity—has the opportunity to thrive.