Code Metal 的最新职位

Code Metal 是一家 B2B 软件公司，致力于为关键任务系统开发可验证的代码转换技术和自动化工具链。其平台可将高级研究代码和 AI 代码转换为适用于生产环境、符合标准的软件，支持 C/C++、Rust、VHDL、CUDA 和 OpenCL 等语言与技术。通过 AI 辅助转换、静态分析、自动化测试生成、形式化验证以及针对目标平台的优化，该平台有助于生成可追溯的代码，并进行功能等价性、安全性和合规性检查。Code Metal 服务于航空航天、国防、汽车、半导体和机器人等行业的组织，帮助它们在保持可移植性和可靠性的同时，将软件部署到不同芯片和嵌入式平台上。