Senior / Principal Software Engineer (Compiler & AI Tooling )

About this role

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 verif...