Cele mai noi locuri de muncă la Code Metal

Code Metal este o companie de software B2B care dezvoltă traducerea verificabilă a codului și lanțuri de instrumente automatizate pentru sisteme critice. Platforma sa transformă codul de cercetare și codul de inteligență artificială de nivel înalt în software pregătit pentru producție și conform cu standardele, pentru limbaje și tehnologii precum C/C++, Rust, VHDL, CUDA și OpenCL. Traducerea ghidată de inteligența artificială, analiza statică, generarea automatizată de teste, verificarea formală și optimizarea specifică țintei contribuie la producerea unui cod trasabil, cu verificări ale echivalenței funcționale, siguranței și conformității. Code Metal deservește organizații din domeniile aerospațial, apărării, auto, semiconductorilor și roboticii, care au nevoie să implementeze software pe cipuri și platforme încorporate, păstrând în același timp portabilitatea și nivelul de asigurare.