Найновіші вакансії в Code Metal

Code Metal — B2B-компанія, що розробляє програмне забезпечення для перевірюваної трансляції коду та автоматизованих інструментальних ланцюжків для критично важливих систем. Її платформа перетворює дослідницький код і код, створений ШІ, на готове до промислового використання програмне забезпечення, що відповідає стандартам, для таких мов і технологій, як C/C++, Rust, VHDL, CUDA та OpenCL. Трансляція під керуванням ШІ, статичний аналіз, автоматизоване генерування тестів, формальна верифікація та оптимізація під конкретні цільові платформи допомагають створювати трасований код із перевірками функціональної еквівалентності, безпеки та відповідності вимогам. Code Metal обслуговує організації в аерокосмічній галузі, оборонному секторі, автомобільній промисловості, напівпровідниковій галузі та робототехніці, яким потрібно розгортати програмне забезпечення на різних мікросхемах і вбудованих платформах, зберігаючи його переносність і гарантованість.