Pinakabagong Mga Trabaho sa Code Metal

Ang Code Metal ay isang B2B software company na bumubuo ng nabe-verify na pagsasalin ng code at mga awtomatikong toolchain para sa mga sistemang kritikal sa misyon. Kino-convert ng platform nito ang high-level na research at AI code sa production-ready at standards-compliant na software para sa mga wika at teknolohiyang kabilang ang C/C++, Rust, VHDL, CUDA, at OpenCL. Tinutulungan ng pagsasaling ginagabayan ng AI, static analysis, awtomatikong pagbuo ng mga test, formal verification, at target-specific optimization na makagawa ng traceable na code na may mga pagsusuri sa functional equivalence, kaligtasan, at pagsunod sa mga pamantayan. Naglilingkod ang Code Metal sa mga organisasyon sa aerospace, depensa, automotive, semiconductor, at robotics na kailangang mag-deploy ng software sa iba't ibang chip at embedded platform habang pinananatili ang portability at assurance.