Kazi za Hivi Karibuni katika Code Metal

Code Metal ni kampuni ya programu za B2B inayotengeneza tafsiri ya msimbo inayoweza kuthibitishwa na misururu ya zana otomatiki kwa mifumo muhimu ya kimisheni. Mfumo wake hubadilisha msimbo wa kiwango cha juu wa utafiti na AI kuwa programu iliyo tayari kwa uzalishaji na inayokidhi viwango, kwa lugha na teknolojia zikiwemo C/C++, Rust, VHDL, CUDA na OpenCL. Tafsiri inayoongozwa na AI, uchanganuzi tuli, uundaji wa majaribio otomatiki, uthibitishaji rasmi na uboreshaji mahususi kwa lengwa husaidia kutengeneza msimbo unaoweza kufuatiliwa, ukiwa na ukaguzi wa usawa wa utendaji, usalama na utii wa kanuni. Code Metal huhudumia mashirika katika sekta za anga, ulinzi, magari, semikondakta na roboti ambayo yanahitaji kusambaza programu kwenye chipu na majukwaa yaliyopachikwa huku yakihifadhi uwezo wa kubebeka na uhakikisho.