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.
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
More about this role
Code Metal is the leader in automated software engineering you can trust. As AI writes more of the world's code, the bottleneck in software has shifted from writing code to verifying it works, and AI cannot verify its own work with certainty. Code Metal takes a fundamentally different approach: constrain AI to what it does reliably, verify every step independently of the model using formal methods, and keep engineers in the loop on the decisions that matter. The result isn't code that probably works — it's code that is provably correct, with auditable proof. Customers including the U.S. Air Force, L3Harris, RTX, and Toshiba use Code Metal to modernize legacy code, optimize performance on real hardware, and move prototypes to production, fast. Founded in 2023 with offices in Boston and San Francisco, Code Metal is funded by Accel, Salesforce Ventures, B Capital, Smith Point Capital, J2 Ventures, Shield Capital, Overmatch, RTX, and others.
Learn more at codemetal.ai .
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...
Browse similar: AI jobs · AI startup jobs · Startup jobs · Remote jobs