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

- Company: Code Metal
- What the company does: Code Metal: Verifiable, AI-enabled code translation. For companies doing edge development, code portability, and code modernization across industries like automotive, defense, semiconductors, and aerospace. Speed time-to-market, meet safety and compliance... Backed by Accel.
- Company website: https://www.codemetal.ai/
- Type: Startups (AI role)
- Level: Senior
- Location: Boston Hub
- Work setup: Remote
- Posted: 2026-05-22
- Apply by: 2026-10-08
- Apply: https://jobs.ashbyhq.com/code-metal/fe3316c3-c5e2-44b3-af49-b920523a1709
- Page: https://www.1752.vc/careers/jobs/code-metal-senior-software-engineer-compiler-and-ai-tooling/

## About the role

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:

## What they're looking for

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

Tags: Engineering