Senior Software Engineer (Compiler & AI Tooling)

Code Metal · Remote

Posted: 93 days ago
Last confirmed live: Today

What this role involves

Code Metal is seeking a Senior Software Engineer to build a new generation of transpilation tools enabled by AI and modern verification techniques. The role involves leading architecture and implementation of code generation pipelines combining Generative AI, Static Analysis, and Formal Verification. Candidates should have 7+ years of C++ or Python experience and either a compiler/tooling background or AI agentic product background.

Skills this posting asks for

c++
python
code review
testing
ci/cd
release management
build systems
llvm
mlir
clang
ast
ir
pytorch
hugging face
langchain
fuzzing
symbolic execution
formal verification
tla+
coq
z3
embedded systems
fpga
gpu

Requirements

7 years of experience
Level: senior

From the employer’s posting

ABOUT CODE METAL Code Metal is redefining code translation for mission-critical industries, helping defense partners move more quickly and reliably from algorithm to silicon. Our platform accelerates deployment of DSP, RF, communications, and embedded signal processing algorithms onto heterogeneou…

Read the full description on Code Metal’s careers page

Apply without filling the form

Approve this role and the application is completed for you, including a résumé tailored to it. You get a confirmation when it lands, and a credit is only spent when a submission is confirmed.

Claim 25 free applications

Other roles at Code Metal

All 4 roles at Code Metal →