Pekerjaan Terkini di Code Metal

Code Metal ialah syarikat perisian B2B yang membangunkan terjemahan kod yang boleh disahkan dan rantaian alat automatik untuk sistem kritikal misi. Platformnya menukar kod penyelidikan dan AI peringkat tinggi kepada perisian sedia untuk pengeluaran yang mematuhi piawaian bagi bahasa dan teknologi termasuk C/C++, Rust, VHDL, CUDA dan OpenCL. Terjemahan berpandukan AI, analisis statik, penjanaan ujian automatik, pengesahan formal dan pengoptimuman khusus sasaran membantu menghasilkan kod yang boleh dijejaki, dengan pemeriksaan kesetaraan fungsi, keselamatan dan pematuhan. Code Metal melayani organisasi dalam bidang aeroangkasa, pertahanan, automotif, semikonduktor dan robotik yang perlu menggunakan perisian merentas cip dan platform terbenam sambil mengekalkan kebolehalihan dan jaminan.