Najnovejša delovna mesta v podjetju Code Metal

Code Metal je B2B podjetje za programsko opremo, ki razvija preverljiv prevod kode in avtomatizirane verige orodij za kritične sisteme. Njegova platforma pretvarja raziskovalno kodo in kodo umetne inteligence v programsko opremo, pripravljeno za produkcijsko uporabo in skladno s standardi, za jezike in tehnologije, vključno s C/C++, Rustom, VHDL, CUDA in OpenCL. Prevod ob pomoči umetne inteligence, statična analiza, samodejno ustvarjanje testov, formalno preverjanje in optimizacija za posamezne ciljne platforme pomagajo ustvariti sledljivo kodo s preverjanjem funkcionalne enakovrednosti, varnosti in skladnosti. Code Metal služi organizacijam v letalstvu in vesoljski industriji, obrambi, avtomobilski industriji, polprevodnikih in robotiki, ki morajo uvajati programsko opremo na različne čipe in vgrajene platforme, pri tem pa ohraniti prenosljivost in zagotovila glede zanesljivosti.