Jaunākās vakances uzņēmumā Code Metal

Code Metal ir B2B programmatūras uzņēmums, kas izstrādā pārbaudāmu koda tulkošanu un automatizētas rīku ķēdes misijai kritiskām sistēmām. Tā platforma pārveido augsta līmeņa pētniecības un mākslīgā intelekta kodu ražošanai gatavā, standartiem atbilstošā programmatūrā tādām valodām un tehnoloģijām kā C/C++, Rust, VHDL, CUDA un OpenCL. Mākslīgā intelekta vadīta tulkošana, statiskā analīze, automātiska testu ģenerēšana, formālā verifikācija un mērķim specifiska optimizācija palīdz izveidot izsekojamu kodu ar funkcionālās ekvivalences, drošības un atbilstības pārbaudēm. Code Metal apkalpo aviācijas un kosmosa, aizsardzības, autobūves, pusvadītāju un robotikas organizācijas, kurām jāievieš programmatūra dažādās mikroshēmās un iegultajās platformās, vienlaikus saglabājot pārnesamību un uzticamību.