Code Metal 的最新職缺

Code Metal 是一家 B2B 軟體公司，致力於為關鍵任務系統開發可驗證的程式碼轉換技術與自動化工具鏈。其平台可將高階研究程式碼與 AI 程式碼轉換為適用於生產環境、符合標準的軟體，支援 C/C++、Rust、VHDL、CUDA 和 OpenCL 等語言與技術。透過 AI 輔助轉換、靜態分析、自動化測試生成、形式化驗證，以及針對目標平台的最佳化，該平台有助於產生可追溯的程式碼，並進行功能等價性、安全性與合規性檢查。Code Metal 服務於航空航太、國防、汽車、半導體與機器人等產業的組織，協助它們在維持可攜性與可靠性的同時，將軟體部署到不同晶片與嵌入式平台上。