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
Develop C++ and post-HLS readability and optimization passes to produce human-auditable RTL Leveraging Agentic AI and verification capability within Code Metal
What they're looking for
- 3+ years of hands-on experience with writing RTL code or using High-Level Synthesis, including at least one commercial HLS tool (Catapult, Vitis HLS, Stratus, or equivalent)
- Solid hardware modeling background regarding fixed-point arithmetic, bit-accurate types, synthesis pragmas and modeling trade-offs
- Scripting experience in Python for development, toolchain automation and testing
- Strong debugging and problem-solving skills
- Experience with simulation and functional verification flows
- Experience using Linux-based development environments
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 .
Code Metal is in the business of transpiling between different languages. This includes the 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