Najnoviji poslovi u tvrtki Code Metal

Code Metal je B2B softverska tvrtka koja razvija provjerljiv prijevod koda i automatizirane lance alata za kritične sustave. Njena platforma pretvara istraživački i kôd umjetne inteligencije u softver spreman za produkciju i usklađen sa standardima, za jezike i tehnologije uključujući C/C++, Rust, VHDL, CUDA i OpenCL. Prijevod uz pomoć umjetne inteligencije, statička analiza, automatizirano generiranje testova, formalna verifikacija i optimizacija za određene ciljne platforme pomažu u stvaranju koda koji se može pratiti, uz provjere funkcionalne ekvivalentnosti, sigurnosti i usklađenosti. Code Metal služi organizacijama u zrakoplovstvu i svemirskoj industriji, obrani, automobilskoj industriji, industriji poluvodiča i robotici koje trebaju uvoditi softver na različite čipove i ugrađene platforme, uz očuvanje prenosivosti i pouzdanosti.