About CODE METAL, INC.
Code Metal provides verifiable code translation solutions for industries where code reliability is critical, including defense, automotive, and robotics. The company uses AI and formal verification to ensure safety, compliance, and performance.
Verifiable code translation for safety-critical systemsReduction of manual coding time by at least 80%Formal verification and configurable compliance checksCode portability across different chip architecturesMemory safety and long-term maintainability improvementsAutomated test suite generation with full functional and MCDC coverage
Recent Federal Awards
| Award | Agency | Amount | Date |
|---|---|---|---|
| CTF AI TRAINING ARENA | Department of Defense | $1.3M | |
| SBIR III RESEARCH AND DEVELOPMENT EFFORT ENTITLED WARMATRIX WHICH DEVELOPS WARGAMING SOFTWARE FOR MILITARY APP | Department of Defense | $12.2M | |
| STRATEGIC ENGINE: STRATEGIC TRAINING AND ROBUST AI FOR TRANSFERABLE AND EFFECTIVE | Department of Defense | $1.8M | |
| TOPIC NO. AF241-0001 - SBIR PH I PROPOSAL F241-0001-0558 - STRATEGIC ENGINE: STRATEGIC TRAINING AND ROBUST AI | Department of Defense | $145K |
Is this your company?
Claim this profile to keep it accurate — and see the federal & state opportunities GovIntel's AI has matched to CODE METAL, INC. right now.
Claim this profile See matched opportunitiesData compiled from public government sources including SAM.gov, USAspending.gov, and state procurement records. Last verified against federal award records. Inaccurate? Let us know.