Senior 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: analysis and lowering handle most cases, AI addresses cases analysis cannot, and testing and verification check the results.

The Senior Software Engineer, Compiler will lead the architecture of the translation pipeline, from parsing and semantic analysis through intermediate representation (IR) design and C++ code generation. The role focuses on preserving Python semantics exactly in statically typed C++, integrating LLM-assisted generation with checks, and collaborating with verification and domain specialists to incorporate static analysis and formal methods.

Requirements

• At least 5 years of professional software development experience in C++ and/or Python, shipping software to real users.
• Hands-on experience building a compiler, transpiler, interpreter, or language runtime, including 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++ knowledge, including templates, value semantics, undefined behavior, and 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, 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 through differential testing against CPython, conformance suites, and fuzzing.
• Integrate LLM-assisted generation where analysis falls short, using structured outputs and checks to catch mistakes.
• 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 translate stakeholder needs into designs.

Benefits

• Health care plan with 100% premium coverage, including medical, dental, and vision.
• 401(k) with 5% matching.
• Uncapped vacation, plus sick leave 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