Senaste jobben hos Code Metal

Code Metal är ett B2B-mjukvaruföretag som utvecklar verifierbar kodöversättning och automatiserade verktygskedjor för verksamhetskritiska system. Plattformen omvandlar högnivåkod från forskning och AI till produktionsklar, standardkompatibel programvara för bland annat C/C++, Rust, VHDL, CUDA och OpenCL. AI-stödd översättning, statisk analys, automatiserad testgenerering, formell verifiering och målspecifik optimering bidrar till spårbar kod med kontroller av funktionell ekvivalens, säkerhet och regelefterlevnad. Code Metal hjälper organisationer inom flyg- och rymdindustrin, försvar, fordonsindustrin, halvledare och robotik att driftsätta programvara på olika chip och inbyggda plattformar med bibehållen portabilitet och tillförlitlighet.