Việc làm mới nhất tại Code Metal

Code Metal là công ty phần mềm B2B phát triển công nghệ chuyển đổi mã nguồn có thể kiểm chứng và các chuỗi công cụ tự động dành cho những hệ thống trọng yếu. Nền tảng của công ty chuyển đổi mã nguồn nghiên cứu cấp cao và mã do AI tạo ra thành phần mềm sẵn sàng đưa vào sản xuất, tuân thủ các tiêu chuẩn, cho những ngôn ngữ và công nghệ như C/C++, Rust, VHDL, CUDA và OpenCL. Công nghệ chuyển đổi có sự hỗ trợ của AI, phân tích tĩnh, tự động tạo kiểm thử, xác minh hình thức và tối ưu hóa theo từng mục tiêu giúp tạo ra mã nguồn có khả năng truy xuất, kèm các bước kiểm tra tính tương đương chức năng, an toàn và tuân thủ. Code Metal phục vụ các tổ chức trong lĩnh vực hàng không vũ trụ, quốc phòng, ô tô, bán dẫn và robot, những đơn vị cần triển khai phần mềm trên nhiều chip và nền tảng nhúng mà vẫn duy trì khả năng chuyển đổi và mức độ đảm bảo.