Code Metalの最新求人

Code Metalは、ミッションクリティカルなシステム向けに、検証可能なコード変換技術と自動化ツールチェーンを開発するB2Bソフトウェア企業です。同社のプラットフォームは、高水準の研究コードやAIコードを、C/C++、Rust、VHDL、CUDA、OpenCLなどの言語・技術に対応した、実運用可能で標準準拠のソフトウェアへ変換します。AI支援による変換、静的解析、自動テスト生成、形式手法による検証、ターゲット固有の最適化により、追跡可能なコードの生成を支援し、機能同等性、安全性、コンプライアンスを確認します。Code Metalは、可搬性と信頼性を維持しながら、チップや組み込みプラットフォームにソフトウェアを展開する必要がある航空宇宙、防衛、自動車、半導体、ロボティクス分野の組織にサービスを提供しています。