Staff Software Engineer, Compiler

Code Metal

. Lead the architecture of the translation pipeline from parsing and semantic analysis through intermediate representation (IR) design to C++ code generation .

Posted 11/4/2026full-timeUnited StatesLead💰 $200,000 - $250,000 per yearWebsite

Core Competencies

Role fit

Core Competencies

Use this summary to align your resume positioning with the role.

Demonstrates expertise in C++ and Python software development, with a strong focus on compiler design, code generation, and type systems. Proven ability to lead technical projects and collaborate with domain specialists to enhance the translation pipeline and integrate advanced analysis techniques.

Highest-signal resume keywords

C++ Software DevelopmentCompiler Infrastructure (Clang/LLVM, MLIR, GCC)Parsing And IR DesignDifferential Testing And FuzzingDynamic-Language Implementation

ATS Keywords

Tailor your resume

Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard Skills

C++PythonCompiler DesignCode GenerationType InferenceAST DesignIR TransformationsTesting And CI/CDStatic AnalysisFormal Verification

Soft Skills

Project LeadershipStakeholder CollaborationTechnical Design

Tools & Technologies

ClangLLVMMLIRGCCZ3CoqTLA+

Certifications & Qualifications

U.S. Top Secret Security Clearance

Industry Keywords

Dynamic-Language ImplementationEmbedded SystemsFPGAGPUCompute-Intensive Domains

Tech Stack

Tools & technologies

PythonC++

About the role

Key responsibilities & impact

Lead the architecture of the translation pipeline from parsing and semantic analysis through intermediate representation (IR) design to C++ code generation
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 that catch mistakes
Collaborate with verification and domain specialists to bring static analysis and formal methods into the pipeline
Set engineering standards for tests, CI/CD, reproducible builds and code review

Requirements

What you’ll need

7+ 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: the end-to-end pipeline, not just one pass
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
Experience with dynamic-language implementation or analysis (CPython internals, PyPy, Cython, Numba, mypyc, or type inference for dynamic languages) preferred
Differential testing, fuzzing, symbolic execution, or formal verification (e.g. Z3, Coq, TLA+) preferred
Experience applying LLMs to code generation or program repair preferred
Embedded, heterogeneous (FPGA/GPU) or resource-constrained targets preferred
Familiarity with DSP, RF, communications or other compute-intensive domains preferred
A current security clearance, or the ability to obtain one (US citizenship required for cleared work) preferred
Legally authorized to work in the United States
Must not require employment visa sponsorship

Benefits

Comp & perks

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
Equity