Legújabb állások itt: Code Metal

A Code Metal olyan B2B szoftvercég, amely kritikus fontosságú rendszerekhez fejleszt ellenőrizhető kódfordítást és automatizált eszközláncokat. Platformja a kutatási és mesterségesintelligencia-kódokat gyártásra kész, szabványoknak megfelelő szoftverré alakítja át többek között a C/C++, a Rust, a VHDL, a CUDA és az OpenCL nyelvekhez és technológiákhoz. A mesterséges intelligencia által támogatott fordítás, a statikus elemzés, az automatikus tesztgenerálás, a formális verifikáció és a célplatform-specifikus optimalizálás nyomon követhető kód létrehozását segíti funkcionális ekvivalencia-, biztonsági és megfelelőségi ellenőrzésekkel. A Code Metal a repülőgépiparban, a védelemben, az autóiparban, a félvezetőiparban és a robotikában működő szervezeteket szolgálja, amelyeknek a hordozhatóság és a megbízhatóság megőrzése mellett kell szoftvereket chipeken és beágyazott platformokon üzembe helyezniük.