Staff Software Engineer — AI-Verified Compiler Lead

Code Metal; United States; Hybrid; USD 180,000 - 240,000; Full time

Benefits offered by this job

Health insurance

401k with 5% matching

Paid time off

Flexible hybrid or remote work

Relocation assistance

Job summary

Code Metal is building a next generation translation toolchain turning Python algorithms into correct, deployable C++ for embedded systems. You will lead the architecture from parsing and semantic analysis to IR design and C++ code generation, ensuring Python semantics map accurately to statically typed output.

You will collaborate with verification and formal methods teams, set coding standards, and guide a small team through end-to-end pipeline development, testing and integration in a

Qualifications

• 7+ years of professional software development in C++ and/or Python.
• Experience building a compiler, transpiler, interpreter or runtime end-to-end.
• Strong understanding of parsing, AST/IR design, type systems and code generation.
• Experience with compiler infrastructure like Clang/LLVM, MLIR, GCC.

Responsibilities

• Design and evolve the translation pipeline's IR, analysis passes and C++ code generation.
• Build type inference and lowering for dynamic Python features.
• Make semantic equivalence measurable via testing against CPython and conformance suites.
• Integrate LLM-assisted generation with checks to catch mistakes.
• Collaborate with verification and domain experts to apply formal methods.
• Set engineering standards for tests, CI/CD, reproducible builds and code reviews.

Skills

C++ development

Python development

Compiler design

AST/IR design

Clang/LLVM/MLIR

Modern C++

CI/CD and tests

Team leadership

Security clearance eligibility

Education

Bachelor's degree in Computer Science or related field

Tools

Clang/LLVM

MLIR

GCC

Job description

Code Metal is building a next generation translation toolchain turning Python algorithms into correct, deployable C++ for embedded systems. You will lead the architecture from parsing and semantic analysis to IR design and C++ code generation, ensuring Python semantics map accurately to statically typed output.

You will collaborate with verification and formal methods teams, set coding standards, and guide a small team through end-to-end pipeline development, testing and integration in a