Remote Senior Compiler Architect: Python to C++

Code Metal; United States; Hybrid; USD 140,000 - 200,000; Full time

Benefits offered by this job

Health care plan with 100% premium

401k with 5% matching

Paid Time Off (uncapped vacation, plus

Flexible hybrid or remote work

Relocation assistance for qualifying

Job summary

Code Metal is pioneering automatic software verification by constraining AI and verifying every step with formal methods. We build a translation toolchain turning Python into correct, deployable C++ for embedded systems with rigorous testing, and integrate LLM-assisted generation where analysis falls short.

You will lead architecture from parsing through IR design to C++ code generation, keeping Python semantics exact in a statically typed output.

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 and code generation.
• Experience with compiler infrastructure such as Clang/LLVM, MLIR, GCC or equivalent.
• Strong modern C++ and how source maps to machine.
• Delivery fundamentals: code review, testing, CI/CD and builds.
• Proven track record leading large technical projects.

Responsibilities

• Design and evolve the translation pipeline, from parsing to C++ code generation.
• Build type inference and lowering for dynamic Python features.
• Ensure semantic equivalence via differential testing and conformance suites.
• Integrate LLM-assisted generation with checks to catch mistakes.
• Collaborate with verification and domain experts to bring formal methods into the pipeline.
• Set engineering standards for tests, CI/CD, and reproducible builds.

Skills

C++/Python

Compiler development

AST/IR design

Clang/LLVM/MLIR

CI/CD

Leadership

Security clearance

Tools

Clang/LLVM

MLIR

GCC

Job description

Code Metal is pioneering automatic software verification by constraining AI and verifying every step with formal methods. We build a translation toolchain turning Python into correct, deployable C++ for embedded systems with rigorous testing, and integrate LLM-assisted generation where analysis falls short.

You will lead architecture from parsing through IR design to C++ code generation, keeping Python semantics exact in a statically typed output.