Code Metal Series B funding: $125M to Modernize Defense and Mission-Critical Code

Code Metal Series B funding: AI-driven code translation with formal verification for defense software modernization

Code Metal Series B funding: $125M to Modernize Defense and Mission-Critical Code

By Agustin Giovagnoli / February 19, 2026

Code Metal has raised $125 million to push AI-driven, formally verified code translation deeper into defense and other regulated industries—news that underscores growing demand for automated legacy code migration and the strategic importance of provable correctness in safety-critical software. The Code Metal Series B funding comes amid a wider push to modernize systems where skilled engineers are scarce and compliance is non-negotiable [3].

Lead: Code Metal’s $125M and new valuation

Salesforce Ventures led the $125 million round, valuing the Boston-based company at about $1.25 billion. Code Metal also reports being profitable, making it both a valuation and cash-flow “unicorn.” Existing investors including Accel, B Capital, and J2 Ventures participated. Founded in 2023 by CEO Peter Morales, the company initially found traction across industrial sectors before turning its focus to defense use cases [3].

Why this matters: defense and mission-critical software

Code Metal’s shift toward defense has brought on customers such as L3Harris, RTX, and the US Air Force. The company frames its mission around helping organizations migrate large volumes of legacy or specialized code to modern platforms—an urgent need in defense software modernization where regulatory requirements, aging toolchains, and talent shortages collide. The company is also collaborating with Toshiba and discussing cross-chip portability with a major unnamed semiconductor firm, signaling growing demand for code portability across chips in complex, heterogeneous environments [3].

Code Metal Series B funding: what’s behind the platform

Code Metal’s platform translates high-level languages—including Python, Julia, Matlab, and C++—into lower-level and hardware-specific targets such as Rust, VHDL, and CUDA. The company emphasizes end-to-end automation across translation, testing, and optimization, with formal verification to ensure that outputs are correct, compliant, and production-ready rather than just prototypes. This positioning distinguishes the AI code translation startup from general-purpose copilots that prioritize speed over guarantees [3].

For teams evaluating toolchains and targets like Rust and VHDL, see the official Rust language site (external).

Differentiator: formal verification and compliance

Code Metal’s core claim is provable correctness in environments governed by safety, reliability, and regulatory standards. By combining formal methods with modern AI models, the platform aims to ensure that translated code not only runs efficiently on target hardware but also meets compliance expectations—key for procurement in defense, automotive, and medical-device contexts. In practice, this shifts AI-assisted development from “fast drafts” to artifacts designed for certification, audits, and long-term maintenance—an approach aligned with formal verification for AI-generated code and automated legacy code migration at scale [3].

Customer traction and use cases

Early traction came in industrial sectors—automotive, medical devices, and consumer electronics—where manual code porting is slow and error-prone. As defense demand grew, Code Metal engaged with L3Harris, RTX, and the US Air Force, while also collaborating with Toshiba and exploring chip-portability with a large semiconductor company. The company positions its technology for migrating specialized or legacy code to modern stacks and hardware acceleration targets like CUDA, as well as translating scientific computing languages for production-grade deployments [3].

Previously, Code Metal raised a $36.5 million Series A at a $250 million valuation led by Accel, with participation from RTX Ventures and Bosch Ventures—an early indicator of interest from both defense and industrial strategics [1][2].

Market and competitive implications

The combination of profitability and a unicorn valuation is unusual among AI infrastructure startups and may influence buyer confidence in long-horizon, regulated programs. For defense and industrial contractors, vendor stability and a credible path to certification can be as important as raw model performance. Code Metal’s sales focus and growing set of defense-aligned backers could catalyze consolidation around platforms that can demonstrate verified outputs—and shape how procurement benchmarks AI in mission-critical pipelines [3].

What businesses should consider

  • Prioritize pilots where translation scope is well-bounded (e.g., migrating Matlab models or C++ kernels to Rust or CUDA) and where verification can be measured against existing test suites [3].
  • Evaluate compliance requirements upfront; formal guarantees and test artifacts should map to your certification pathway [3].
  • Consider portability needs across targets and accelerators as programs evolve; chip strategy and toolchain lock-in are strategic risks [3].
  • Align teams around governance: security reviews, traceability, and change management must be integrated with automated pipelines [3].

For practical frameworks on evaluating vendors and implementation playbooks, explore AI tools and playbooks.

Risks, limitations, and regulatory questions

Formal verification can narrow risk but may not eliminate all edge cases. Certification in defense and medical domains still requires rigorous documentation, traceability, and independent validation. Code portability across chips introduces additional verification burden as targets, toolchains, and performance constraints change. Buyers should scrutinize coverage, assumptions, and test completeness—particularly when translating complex, hardware-near code paths [3].

Outlook: what to watch next

With the Code Metal Series B funding closed, watch for expanded defense deployments, certification milestones, and deeper partnerships with semiconductor and industrial players. Progress on cross-chip portability and performance proofs will indicate how far formal methods plus AI can go in accelerating modernization of legacy stacks at scale [3].

Sources

[1] Code Metal Raises $36.5 Million In Series A Funding
https://www.techcompanynews.com/code-metal-raises-36-5-million-in-series-a-funding/

[2] Code Metal Lands $36.5 Million Series A
https://www.thesaasnews.com/news/code-metal-lands-36-5-million-series-a

[3] Code Metal Raises $125 Million to Rewrite the Defense …
https://www.wired.com/story/vibe-coding-startup-code-metal-raises-series-b-fundraising/

Scroll to Top