أحدث الوظائف لدى Code Metal

Code Metal هي شركة برمجيات موجهة للشركات تطوّر تقنيات قابلة للتحقق لترجمة الشيفرات وسلاسل أدوات مؤتمتة للأنظمة الحيوية. تحوّل منصتها شيفرات البحث والذكاء الاصطناعي عالية المستوى إلى برمجيات جاهزة للإنتاج ومتوافقة مع المعايير، باستخدام لغات وتقنيات تشمل C/C++ وRust وVHDL وCUDA وOpenCL. وتساعد الترجمة الموجّهة بالذكاء الاصطناعي، والتحليل الساكن، والتوليد المؤتمت للاختبارات، والتحقق الرسمي، والتحسين الخاص بالهدف على إنتاج شيفرات قابلة للتتبع، مع فحوص للتكافؤ الوظيفي والسلامة والامتثال. تخدم Code Metal المؤسسات العاملة في مجالات الطيران والدفاع والسيارات وأشباه الموصلات والروبوتات، والتي تحتاج إلى نشر البرمجيات عبر الشرائح والمنصات المضمنة مع الحفاظ على قابلية النقل والموثوقية.