Code Metal, a verifiable AI-powered code translation and optimization platform, has raised $125 million in Series B funding led by Salesforce Ventures, with participation from Accel, B Capital, and RTX. The company translates high-level languages like Python, Matlab, and Julia into low-level code such as C/C++, Rust, VHDL/Verilog, and CUDA, optimized for edge devices in mission-critical sectors. The capital will accelerate platform development, expand the team, and deepen deployments with defense and automotive customers.
Verifiable AI Enters Defense Software
The timing coincides with heightened investor focus on trustworthy AI for regulated industries. Code Metal follows its own $36.5 million Series A in November 2025 and $16.5 million seed round, totaling nearly $178 million since its 2023 founding. This progression underscores a market shift toward AI tools that deliver proven correctness over probabilistic generation.
Defense, aerospace, and automotive firms grapple with porting high-level research code to safety-certified embedded systems. Manual efforts consume thousands of engineer-hours annually, with error risks threatening compliance to standards like DO-178C for aviation and ISO 26262 for vehicles. Pure LLM-based code generators fall short, as they cannot mathematically prove functional equivalence or eliminate hallucinations.
Code Metal addresses this with a neuro-symbolic AI platform that combines large language model reasoning and formal program analysis. Integrated into IDEs, it generates transpilation plans, optimizes for performance, power, and memory on CPU, GPU, or FPGA runtimes, then verifies outputs through automated testing and equivalence proofs. This approach guarantees compliance and safety in ways general-purpose tools cannot.
The platform delivers an 80% reduction in manual coding time for customers like L3Harris, RTX, US Air Force, Boeing, Collins Aerospace, Bosch, Toshiba, and NVIDIA.
Salesforce Ventures' leadership brings deep AI deployment expertise, while RTX's investment provides strategic validation as an early customer. Accel and B Capital add proven scaling support for enterprise software. Together, they signal Code Metal's pivot from startup to key supplier for DoD and OEM code modernization.
Safety-critical embedded software demands are surging with edge AI proliferation across robotics, semiconductors, and industrial automation. Code Metal's cross-sector traction—spanning defense to top-5 global auto OEMs—highlights fragmentation by verification needs. While total addressable market figures remain opaque, the firm's rapid funding trajectory reflects billions in potential for automated, certified code flows.
Post-Series B, Ryan Aytay, former CEO of Tableau, joined as President and COO. His experience scaling data platforms to billions in value bolsters Code Metal's go-to-market amid 51-200 employee growth.