Code Metal develops a platform for verifiable code translation, targeting mission-critical industries such as aerospace, defense, automotive, and robotics. The system combines artificial intelligence with formal verification to translate high-level code into optimized, low-level implementations that meet strict safety standards. This enables code portability across different chips and architectures.
The company has raised $36.5 million in funding. Its technology is used by organizations including Boeing, Bosch, Raytheon, and the US Air Force.
Technical work at Code Metal spans AI, formal verification, code translation, and low-level optimization. The team includes backgrounds in hardware, defense, and research, with a stated focus on solving practical engineering problems.
