המשרות האחרונות ב-Code Metal

Code Metal היא חברת תוכנה לעסקים המפתחת תרגום קוד הניתן לאימות ושרשראות כלים אוטומטיות למערכות קריטיות. הפלטפורמה שלה ממירה קוד מחקר וקוד מבוסס בינה מלאכותית ברמה גבוהה לתוכנה מוכנה לייצור ותואמת לתקנים, בשפות ובטכנולוגיות כגון C/C++, Rust, VHDL, CUDA ו-OpenCL. תרגום מונחה בינה מלאכותית, ניתוח סטטי, יצירה אוטומטית של בדיקות, אימות פורמלי ואופטימיזציה ייעודית ליעד מסייעים להפיק קוד שניתן להתחקות אחריו, עם בדיקות שקילות פונקציונלית, בטיחות ותאימות. Code Metal משרתת ארגונים בתחומי התעופה והחלל, הביטחון, הרכב, המוליכים למחצה והרובוטיקה, הזקוקים לפריסת תוכנה על גבי שבבים ופלטפורמות משובצות תוך שמירה על ניידות ועל רמת ודאות גבוהה.