Senior Software Engineer, Compiler

The role

You will lead the architecture of a translation pipeline that turns Python algorithm code into correct, deployable C++ for embedded systems. This involves designing IR, analysis passes, and C++ code generation while integrating LLM-assisted generation and formal methods.

What you will do

• Design and evolve the pipeline's IR, analysis passes and C++ code generation
• Build type inference and lowering for dynamic Python features
• Make semantic equivalence measurable through differential testing, conformance suites and fuzzing
• Integrate LLM-assisted generation with structured outputs and checks
• Collaborate with verification and domain specialists to bring static analysis and formal methods into the pipeline
• Set engineering standards for the codebase including tests, CI/CD, reproducible builds and code review

Required 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
• 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
• Strong modern C++: templates, value semantics, undefined behaviour, and how source code maps to the machine
• Solid delivery fundamentals: code review, testing, CI/CD and build systems
• A track record of leading large technical projects in a team, and of turning stakeholder needs into designs
• Eligible to obtain and maintain an active U.S. Top Secret security clearance

Nice to have

• Experience with dynamic-language implementation or analysis (CPython internals, PyPy, Cython, Numba, mypyc, or type inference for dynamic languages)
• Differential testing, fuzzing, symbolic execution, or formal verification (e.g. Z3, Coq, TLA+)
• Experience applying LLMs to code generation or program repair
• Embedded, heterogeneous (FPGA/GPU) or resource-constrained targets
• Familiarity with DSP, RF, communications or other compute-intensive domains
• A current security clearance, or the ability to obtain one (US citizenship required for cleared work)

Benefits

• Health care plan with 100% premium coverage, including medical, dental, and vision
• 401k with 5% matching
• Paid Time Off (uncapped vacation, plus sick and public holidays)
• Flexible hybrid or remote work arrangement
• Relocation assistance for qualifying employees

Before you apply

• Eligible to obtain and maintain an active U.S. Top Secret security clearance
• US Citizenship may be required for certain project assignments involving security clearance

About the company

Code Metal is the leader in automated software engineering. They use formal methods to ensure code is provably correct.