Senior / Principal Software Engineer (Compiler & AI Tooling ) at Code Metal

San Francisco, California, United States -

Full Time

Start Date

Immediate

Expiry Date

17 Jul, 26

Salary

0.0

Posted On

18 Apr, 26

Experience

5 year(s) or above

Remote Job

Yes

Telecommute

Yes

Sponsor Visa

Skills

C++, Python, Compiler design, LLVM, Generative AI, Static analysis, Formal verification, Transpilation, Agentic AI, Orchestration, CI/CD, Embedded systems, Software architecture, System programming, AST design, IR transformation

Industry

Construction

Description

About Code Metal Code Metal is redefining code translation for mission-critical industries, helping partners move more quickly and reliably from algorithm to silicon. Our platform accelerates deployment of DSP, RF, communications, and embedded signal processing algorithms onto heterogeneous compute targets, including GPUs, FPGAs, ASICs, and edge SoCs. We support automotive, aerospace, defense, and semiconductor partners deploying complex algorithms onto constrained hardware with speed and rigor. The Roles We are looking for an experienced software engineer to help us build a new generation of transpilation tools enabled by AI and modern verification techniques — bridging the gap between algorithm development and deployment to embedded systems. In this role you will lead the architecture and implementation of novel code generation pipelines that combine Generative AI, Static Analysis, and Formal Verification to translate code written in one language to another. We are open to two distinct backgrounds for this role: Path A — Compiler / Tooling You have built a compiler, interpreter, or substantial build tooling (e.g. a Cargo-like build system, a Clang plugin, an LLVM pass, a transpiler). You understand ASTs, IR design, and the full compilation pipeline. Path B — AI Agentic Product You have shipped a production AI agentic system — orchestrating LLMs with tool use, state machines, retrieval, or multi-step reasoning pipelines. You know where these systems break and how to make them reliable. If you fit either profile and are excited by the intersection of AI and systems programming, we want to talk. Responsibilities Define software architecture for Agentic AI pipelines — including state machines, orchestration layers, and LLM-integrated workflows. Build well-tested, extensible code foundations for code translation products, with a focus on correctness and maintainability. Collaborate with domain specialists to incorporate formal verification and static analysis methods into the code generation pipeline. Partner with software engineering and research teams to build robust code repositories and CI/CD processes. Architect and implement complex workflows spanning code parsing, semantic analysis, AI-assisted generation, and output validation. Must have 7+ years of collaborative enterprise-level software development in C++ or Python, delivering products to a large customer base. Demonstrated experience gathering requirements from stakeholders and translating them into software designs. Track record of planning and executing large projects in a team-based setting. Strong software delivery fundamentals: code review, testing, CI/CD, release management, and build systems. Plus one of the following Compiler / tooling background: Hands-on experience building a compiler, transpiler, or substantial build tooling (e.g. a Cargo-equivalent, a custom linker, a language runtime). Deep familiarity with compiler infrastructure — Clang, LLVM, MLIR, or equivalent. Understanding of parsing, AST design, IR transformations, and code generation backends. AI agentic product background: Shipped production AI agentic systems — LLM orchestration, tool-use pipelines, multi-step reasoning, or autonomous code generation. Experience building reliable, observable AI workflows with structured outputs, retry logic, and evaluation frameworks. Familiarity with ML tools and frameworks (PyTorch, Hugging Face, LangChain, or similar). Great to Have Experience with advanced software verification techniques such as fuzzing, symbolic execution, or formal verification (e.g. TLA+, Coq, Z3). Hands-on experience with embedded, heterogeneous (FPGA and/or GPU), or distributed systems. Familiarity with DSP, RF, communications, or other compute-intensive domains. Experience optimizing and deploying software on constrained or specialized hardware. Current security clearance, or ability to obtain one (US Citizenship required for cleared work). Competitive compensation at the upper end of market range — specific band shared during screening. 100% employer-paid health care premiums: medical, dental, and vision. 401(k) with 5% company match. Uncapped paid time off, plus sick leave and public holidays. Flexible hybrid or remote work arrangement. Relocation assistance for qualifying employees. We are an equal opportunity employer. US Citizenship may be required for certain project assignments involving security clearance.

Responsibilities

You will lead the architecture and implementation of novel code generation pipelines that integrate Generative AI, static analysis, and formal verification. Additionally, you will collaborate with domain specialists to build extensible code foundations and robust CI/CD processes for mission-critical embedded systems.