Новые вакансии в Code Metal

Code Metal — B2B-компания, разрабатывающая программное обеспечение для проверяемой трансляции кода и автоматизированных инструментальных цепочек для критически важных систем. Платформа преобразует исследовательский код и код, созданный ИИ, в готовое к промышленной эксплуатации программное обеспечение, соответствующее стандартам, для таких языков и технологий, как C/C++, Rust, VHDL, CUDA и OpenCL. Трансляция под управлением ИИ, статический анализ, автоматизированная генерация тестов, формальная верификация и оптимизация под конкретные целевые платформы помогают создавать трассируемый код с проверками функциональной эквивалентности, безопасности и соответствия требованиям. Code Metal сотрудничает с организациями в аэрокосмической отрасли, оборонном секторе, автомобильной промышленности, полупроводниковой отрасли и робототехнике, которым необходимо развертывать программное обеспечение на различных микросхемах и встраиваемых платформах, сохраняя его переносимость и гарантии надежности.