# Code Metal

> Verifiable AI-powered code translation for mission-critical industries

**Website:** https://codemetal.ai
**LinkedIn:** https://www.linkedin.com/company/code-metal
**Headquarters:** Boston, MA
**Size:** 51-200
**Founded:** 2023
**Industry:** developer tools
**Funding:** Series B
**Work type:** remote
**Tech stack:** Python, Docker, C++, AWS, GCP, Azure, Rust, CUDA, TypeScript, React, FastAPI, Redis, Kubernetes, GraphQL, gRPC

Code Metal builds a neuro-symbolic AI platform that translates and optimizes code across languages and hardware for edge development, code portability, and modernization. It serves defense, automotive, semiconductor, and robotics industries by combining generative AI with formal verification to ensure mathematical proofs of correctness, safety, and compliance. This enables rapid deployment of trusted software where failure is not an option.

## Open roles (0)


**Canonical:** https://hotfix.jobs/companies/code-metal