Dernières offres chez Code Metal

Code Metal est une entreprise de logiciels B2B qui développe des solutions de traduction de code vérifiables et des chaînes d’outils automatisées pour les systèmes critiques. Sa plateforme convertit du code de recherche et de l’IA de haut niveau en logiciels prêts pour la production et conformes aux normes, dans des langages et technologies tels que C/C++, Rust, VHDL, CUDA et OpenCL. La traduction guidée par l’IA, l’analyse statique, la génération automatisée de tests, la vérification formelle et l’optimisation spécifique à chaque cible contribuent à produire un code traçable, assorti de contrôles d’équivalence fonctionnelle, de sécurité et de conformité. Code Metal accompagne des organisations des secteurs de l’aérospatiale, de la défense, de l’automobile, des semi-conducteurs et de la robotique qui doivent déployer des logiciels sur des puces et des plateformes embarquées tout en préservant leur portabilité et leur niveau d’assurance.