Staff Software Engineer, Compiler

Code Metal • Boston, MA

3d

About The Position

Code Metal is building translation tools that turn Python algorithm code into correct, deployable C++ for embedded systems. The tools combine compiler techniques, generative AI, and modern verification to produce code with independently auditable correctness. The Staff Software Engineer will lead the architecture of the translation pipeline, from parsing and semantic analysis through intermediate representation (IR) design and C++ code generation, while preserving Python semantics in statically typed C++ output.

The role includes designing and evolving the pipeline’s IR, analysis passes, and code generation; implementing type inference and lowering for dynamic Python features; measuring semantic equivalence through testing; integrating checked LLM-assisted generation; collaborating on static analysis and formal methods; and establishing engineering standards for the codebase. The position offers a flexible hybrid or remote work arrangement.

Requirements

• At least 7 years of professional software development in C++ and/or Python, shipping software to real users.
• Hands-on experience building an end-to-end 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++ skills, including templates, value semantics, undefined behavior, and how source code maps to the machine.
• Solid delivery fundamentals, including 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 intermediate representation, analysis passes, and C++ code generation, 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.
• Make semantic equivalence measurable using 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 bring static analysis and formal methods into the pipeline.
• Set engineering standards for the codebase, including tests, CI/CD, reproducible builds, and code review.
• Lead large technical projects in a team and turn 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, with uncapped vacation, sick time, and public holidays.
• Flexible hybrid or remote work arrangement.
• Relocation assistance for qualifying employees.

What This Job Offers

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