Code Metal sammelt 125 Millionen Dollar für KI-gestütztes Hardware-Management
Das Startup entwickelt Software zur Verwaltung von Hardware mithilfe künstlicher Intelligenz. Die Finanzierungsrunde wurde von Salesforce Ventures angeführt.
Code Metal und 125 Millionen Dollar für Code-Verifikation: Warum „Code schreiben“ nicht mehr ausreicht
Der Kern: Nicht Hardware-Management, sondern mathematisch bewiesene Sicherheit
Als Code Metal am 19. Februar 2026 den Abschluss einer Serie-B-Runde in Höhe von 125 Millionen Dollar bei einer Bewertung von 1,25 Milliarden Dollar bekannt gab, schwirrten in den Schlagzeilen Phrasen wie „KI-gestütztes Hardware-Management“. Das ist eine oberflächliche Lesart. In Wirklichkeit geht Code Metal eine grundlegend andere Herausforderung an – nicht Code-Generierung, sondern mathematisch beweisbare Verifikation für Umgebungen, in denen ein Fehler Menschenleben kosten kann.
Der Schlüsselbegriff hier ist „neurosymbolischer Ansatz“. Die Plattform generiert Code nicht einfach mit einem großen Sprachmodell. Sie zerlegt Programme in testbare symbolische Komponenten und beweist mathematisch, dass der generierte Code funktional äquivalent zum Original ist und keine Sicherheitsverletzungen enthält. Dies ist kein „Vibe Coding“, bei dem ein Entwickler der Intuition des Modells vertraut. Es ist formale Verifikation – eine Disziplin, die es in der Wissenschaft seit Jahrzehnten gibt und die nun zum ersten Mal in einem kommerziellen Produkt mit einer solchen Kapitalausstattung eingebettet ist.
Der Markt, den Code Metal anvisiert, wurde von Rob Keith, Partner bei Salesforce Ventures, formuliert: „Mission-Critical-Industrien können nicht einsetzen, was sie nicht verifizieren können.“ Dieser Satz fasst die gesamte Geschäftslogik des Unternehmens zusammen.
Zeitstrahl und Kontext: Von der F-35 zu 1,25 Milliarden Dollar in zweieinhalb Jahren
Die Entwicklung von Code Metal verdient eine genaue Betrachtung – sie erklärt, warum das Unternehmen nur Monate nach seiner Serie A 125 Millionen Dollar einsammelte.
Die Gründer – Peter Morales (CEO) und Alex Showalter-Bucher (CTO) – sind Absolventen des MIT Lincoln Laboratory, wo sie KI-Argumentationssysteme für den F-35-Kampfjet entwickelten. Dies sind keine Startup-Gründer, die eine Gelegenheit im KI-Hype erkannt haben. Sie sind Ingenieure, die Jahrzehnte damit verbracht haben, das Problem des Code-Portierens und der Verifikation für Waffensysteme zu lösen. Sie kennen den Schmerz aus erster Hand: Wenn Satellitenkommunikationsprotokolle aktualisiert oder auf neue Hardware portiert werden müssen, wenn Legacy-C++-Systeme in speichersicheres Rust modernisiert werden müssen – diese Arbeit ist schmerzhaft manuell, langsam und fehleranfällig.
Das Unternehmen wurde 2023 gegründet. Im Juli 2024 nahm es eine Seed-Runde in Höhe von 16,5 Millionen Dollar auf. Dann kam die Serie A – und fast unmittelbar darauf eine Serie B in Höhe von 125 Millionen Dollar unter der Führung von Salesforce Ventures, mit Beteiligung von Accel, B Capital, Smith Point Capital, J2 Ventures, Shield Capital, Overmatch und RTX. Die Investorenliste ist aufschlussreich: RTX (ehemals Raytheon) ist nicht nur ein Venture-Fonds, sondern ein direkter Vertreter des Verteidigungssektors. Salesforce Ventures und B Capital sind strategische Investoren mit Zugang zu Unternehmens- und Regierungssektoren.
Eine bemerkenswerte Personalie: Ryan Aytay, ehemaliger CEO von Tableau, trat als President und COO bei. Dies signalisiert, dass sich das Unternehmen auf aggressives Skalieren der kommerziellen Aktivitäten und des Enterprise-Vertriebs vorbereitet. Eine Person, die eines der größten SaaS-Unternehmen geleitet hat, tritt einem Startup nicht nur wegen eines Titels bei.
Wer gewinnt und wer verliert
Der US-Verteidigungssektor und seine Auftragnehmer gewinnen. Die Kundenliste von Code Metal umfasst bereits die US Air Force, L3Harris, RTX und Toshiba. Dies sind keine Pilotprojekte – es sind „Programs of Record“, also aktive Verteidigungsprogramme. Für das Pentagon, das kürzlich erklärte, dass „die Entwicklung von Fähigkeiten mittels KI die Natur militärischer Operationen im nächsten Jahrzehnt neu definieren wird“, wird Code Metal zu einer tragenden Infrastruktur.
Spezialisierte Chip-Hersteller gewinnen. Da die Datenverarbeitung an den Rand und auf spezialisierte Hardware verlagert wird, verschärft sich das Problem der Code-Portabilität über Architekturen hinweg. Code Metal gewährleistet diese Portabilität und optimiert gleichzeitig den Code für spezifische Hardware. Chip-Hersteller erhalten ein Werkzeug, das die Hürden für die Migration auf ihre Plattformen senkt.
Traditionelle RPA-Lösungen und „gewöhnliche“ KI-Codierungsassistenten verlieren. GitHub Copilot, Cursor und ähnliche sind gut für Webentwicklung und Unternehmenssoftware. In Umgebungen mit null Fehlertoleranz sind sie nutzlos – eine generierte halluzinierte Funktion oder ein übersehener Randfall könnte die nationale Sicherheit oder Menschenleben kosten. Code Metal konkurriert nicht mit Copilot; es schafft eine völlig andere Kategorie.
Ingenieure, deren Aufgabe das manuelle Code-Portieren ist, verlieren. Wenn das Unternehmen die Übersetzung zwischen Programmiersprachen mit mathematischem Korrektheitsnachweis automatisiert, sinkt der Bedarf an Spezialisten, die manuell C++ in Rust umschreiben.
Was die Medien übersehen
Erkenntnis Eins: Code Metal ist kein Software-Startup im klassischen Sinne. Es ist eine Vertrauensinfrastruktur für eine Zukunft, in der Maschinen Code schreiben.
Der Begriff „neurosymbolischer Ansatz“ klingt nach Marketing. Aber dahinter steckt eine spezifische Architektur: generative KI kombiniert mit formaler Verifikation. Anstatt das nächste Token vorherzusagen, zerlegt das System ein Programm in beweisbare Komponenten. Dies ist kein verbessertes Copilot – es ist eine grundlegend andere Produktklasse. Wenn KI immer mehr Code für kritische Infrastrukturen generiert, wird Code Metal nicht zu einem Werkzeug, sondern zu einem Kontrollpunkt – ohne seine Verifikation gelangt Code nicht in die Produktion.
Erkenntnis Zwei: Die Marktnische von Code Metal ist nicht „Hardware-Management“, sondern die Lücke zwischen der Geschwindigkeit der KI-Entwicklung und den Sicherheitsanforderungen.
Derzeit wird diese Lücke durch manuelle Prozesse geschlossen: Code-Review, Tests, formale Methoden durch teure Spezialisten. Code Metal automatisiert formale Methoden – ein Bereich, der immer als zu komplex und teuer für die Massenanwendung galt. Wenn sie erfolgreich sind, dann sind 1,25 Milliarden Dollar eine faire Bewertung. Wenn nicht, wird das Unternehmen bei den ersten Audits gegen Standards wie DO-178C (Zertifizierung von Luftfahrtsoftware) zusammenbrechen.
Erkenntnis Drei: Salesforce Ventures führt die Runde nicht nur aus finanziellen Gründen an – es ist eine strategische Wette auf die Kontrolle der Infrastrukturebene.
Salesforce ist ein Enterprise-Unternehmen, dessen Kunden zunehmend Sicherheits- und Compliance-Garantien für KI-generierten Code verlangen. Indem sie ihre Person (Ryan Aytay, ehemaliger CEO von Tableau, der viele Jahre bei Salesforce arbeitete) als President und COO von Code Metal platzieren, gewinnen sie Einfluss auf einen Verifikationsstandard, der branchenweit werden könnte.
Prognose: Nächste 30 Tage und 90 Tage
30 Tage (bis Mitte März 2026). Erwarten Sie die Ankündigung eines neuen großen Verteidigungsauftrags. 125 Millionen Dollar sind Geld für die Skalierung, und das Unternehmen wird die kommenden Wochen nutzen, um seine Position in Washington zu stärken. Ebenfalls wahrscheinlich sind 2-3 Schlüsseleinstellungen im Enterprise-Vertriebsteam. Aytay wird beginnen, Partnerschaften mit Systemintegratoren aufzubauen – ohne sie kommt man nicht in den Verteidigungssektor.
90 Tage (bis Mitte Mai 2026). Der Schlüsselindikator ist die Expansion über den Verteidigungssektor hinaus. Automobilindustrie, Halbleiter, Medizingeräte – all dies sind genannte vertikale Märkte. Wenn Code Metal einen Vertrag mit einem großen Automobilunternehmen oder Medizingerätehersteller bekannt gibt, bestätigt dies die Vielseitigkeit der Plattform. Wenn nicht, riskiert das Unternehmen, ein Nischen-Verteidigungsauftragnehmer mit einer ungerechtfertigt hohen Bewertung zu bleiben.
Der Verteidigungswinkel ist auch wichtig: Mit der Trump-Vance-Administration und dem Fokus auf DOGE (Department of Government Efficiency) bleiben Budgets für moderne Verteidigungstechnologien eine Priorität. Code Metal passt perfekt in diesen Trend, wird aber gleichzeitig anfällig für politische Veränderungen.
Fazit. Bei Code Metal geht es nicht um „KI für Hardware“. Es geht darum, wer Code zertifiziert, der von Maschinen geschrieben wird, in einer Welt, in der solcher Code Kampfjets, Satelliten und Drohnen steuert. Die 125-Millionen-Dollar-Wette ist eine Wette darauf, dass die Zukunft mathematische Garantien erfordert, nicht nur schnelle Generierung. Wenn die Wette aufgeht, wird Code Metal das, was VeriSign für das Internet wurde – unsichtbare, aber unverzichtbare Vertrauensinfrastruktur.
— Editorial Team
Noch keine Kommentare.