Senior Compiler Architect - Remote/Hybrid, Verifiable AI

Code Metal, Inc.; Boston (MA); Hybrid; USD 150,000 - 200,000; Full time

Benefits offered by this job

Health care plan

401k with matching

Paid time off

Flexible hybrid or remote work

Relocation assistance

Job summary

Code Metal, Inc. is building a next-gen translation toolchain to turn Python code into correct, deployable C++ for embedded systems. You will design the translation pipeline, keep Python semantics exact in a statically typed C++ world, and lead the IR and verification strategy.

The team emphasizes end-to-end correctness, CI/CD, and auditable builds. You will collaborate with verification experts to integrate formal methods and leverage LLM-assisted generation where needed, while maintaining high

Qualifications

• 5+ years of professional software development in C++ and/or Python, shipping to real users.
• Hands-on experience building a compiler, transpiler, interpreter or language runtime: end-to-end pipeline.
• Deep understanding of parsing, AST and IR design, type systems, IR transformations and code generation.
• Experience with compiler infrastructure such as Clang/LLVM, MLIR, GCC or equivalent.

Responsibilities

• Lead the architecture of the translation pipeline from parsing to C++ code generation.
• Decide how to keep Python semantics exact when output is statically typed C++.
• Design and evolve IR, analysis passes and code generation for language translation.
• Build type inference and lowering for dynamic Python features.
• Ensure semantic equivalence via differential testing against CPython and conformance suites.
• Collaborate with verification and domain experts to bring formal methods into the pipeline.

Skills

C++

Python

Compiler

IR design

Static analysis

CI/CD

Security clearance

Education

Bachelor's degree in CS

Tools

Clang/LLVM

MLIR

GCC

Job description

Code Metal, Inc. is building a next-gen translation toolchain to turn Python code into correct, deployable C++ for embedded systems. You will design the translation pipeline, keep Python semantics exact in a statically typed C++ world, and lead the IR and verification strategy.

The team emphasizes end-to-end correctness, CI/CD, and auditable builds. You will collaborate with verification experts to integrate formal methods and leverage LLM-assisted generation where needed, while maintaining high