IR transformations jobs

Senior Software Engineer, Compiler

Code Metal · Posted Nov 4, 2026

Boston, Massachusetts, United States +1 more
Hybrid
Full-time · Senior
5+ years

Apply with RefersoAI Apply on careers page

Lead the architecture of the translation pipeline, from parsing and semantic analysis through intermediate representation (IR) design to C++ code generation.

Locations (2)

Boston, Massachusetts, United States
San Francisco, California, United States

Compensation

Pay depends on experience, but we strive to be at the upper end of the salary range

Responsibilities

Design and evolve the pipeline's IR, analysis passes and C++ code generation, keeping the core independent of any one source language.
Build type inference and lowering for dynamic Python features: arbitrary-precision integers, exceptions, generators, containers, and calls to the standard library and third-party libraries.
Make semantic equivalence measurable, through differential testing against CPython, conformance suites and fuzzing.
Integrate LLM-assisted generation where analysis falls short, with structured outputs and checks that catch its mistakes.
Collaborate with verification and domain specialists to bring static analysis and formal methods into the pipeline.

Staff Software Engineer, Compiler

Staff Software Engineer, Compiler

Locations (2)

Responsibilities

Requirements

Skills

Benefits

Senior Software Engineer, Compiler

Locations (2)

Compensation

Responsibilities

Requirements

Skills

Benefits