Senior Software Engineer, Compiler

Code Metal • Boston, MA

1d • $170,000 - $250,000

About The Position

Code Metal is building translation tools that convert Python algorithm code into correct, deployable C++ for embedded systems. The tools combine classic compiler techniques, generative AI, and modern verification: analysis and lowering handle most cases, AI assists where analysis is insufficient, and testing and verification check the output.

The Senior Software Engineer, Compiler will lead the architecture of the translation pipeline, from parsing and semantic analysis through intermediate representation (IR) design to C++ code generation. The role focuses on preserving Python semantics when translating to statically typed C++, and on building a language-independent pipeline supported by measurable semantic equivalence, verification, and reliable engineering practices.

Requirements

• At least 5 years of professional software development in C++ and/or Python, with software shipped to real users.
• Hands-on experience building a compiler, transpiler, interpreter, or language runtime across the 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.
• Strong modern C++ skills, including templates, value semantics, undefined behavior, and understanding how source code maps to the machine.
• Experience with code review, testing, CI/CD, and build systems.
• A track record of leading large technical projects in a team and turning stakeholder needs into designs.
• Eligible to obtain and maintain an active U.S. Top Secret security clearance.

Nice To Haves

• Experience with dynamic-language implementation or analysis, such as CPython internals, PyPy, Cython, Numba, mypyc, or type inference for dynamic languages.
• Experience with differential testing, fuzzing, symbolic execution, or formal verification, such as Z3, Coq, or TLA+.
• Experience applying LLMs to code generation or program repair.
• Experience with 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; U.S. citizenship is required for cleared work.

Responsibilities

• Design and evolve the pipeline’s IR, analysis passes, and C++ code generation while keeping the core independent of any one source language.
• Build type inference and lowering for dynamic Python features, including arbitrary-precision integers, exceptions, generators, containers, and calls to standard and third-party libraries.
• Measure semantic equivalence through differential testing against CPython, conformance suites, and fuzzing.
• Integrate LLM-assisted generation where analysis falls short, using structured outputs and checks to catch errors.
• Collaborate with verification and domain specialists to incorporate static analysis and formal methods into the pipeline.
• Set engineering standards for the codebase, including tests, CI/CD, reproducible builds, and code review.
• Lead the architecture of the translation pipeline from parsing and semantic analysis through IR design and C++ code generation.
• Lead large technical projects as part of a team and translate stakeholder needs into designs.

Benefits

• Health care plan with 100% premium coverage, including medical, dental, and vision.
• 401(k) with 5% matching.
• Paid time off, including uncapped vacation, sick leave, and public holidays.
• Flexible hybrid or remote work arrangement.
• Relocation assistance for qualifying employees.
• Pay depends on experience; the company strives to pay at the upper end of the salary range.

What This Job Offers

• Job Type: Full-time
• Career Level: Senior
• Education Level: No Education Listed