Najnowsze oferty pracy w Code Metal

Code Metal to firma B2B tworząca oprogramowanie do weryfikowalnej translacji kodu oraz zautomatyzowanych łańcuchów narzędzi dla systemów o znaczeniu krytycznym. Jej platforma przekształca kod badawczy i kod generowany przez AI w gotowe do zastosowań produkcyjnych oprogramowanie zgodne ze standardami, przeznaczone dla języków i technologii takich jak C/C++, Rust, VHDL, CUDA i OpenCL. Translacja wspomagana przez AI, analiza statyczna, automatyczne generowanie testów, weryfikacja formalna oraz optymalizacja pod kątem konkretnego celu pomagają tworzyć identyfikowalny kod z kontrolą równoważności funkcjonalnej, bezpieczeństwa i zgodności. Code Metal obsługuje organizacje z branży lotniczej i kosmicznej, sektora obronnego, motoryzacji, przemysłu półprzewodnikowego oraz robotyki, które muszą wdrażać oprogramowanie na różnych układach i platformach wbudowanych, zachowując jego przenośność i gwarancje niezawodności.