תיאור

מהנדס/ת Formal Verification בדרגת L6 ב-Annapurna Labs (חטיבת AWS) יוביל את אסטרטגיית האימות הפורמלי לתת-מערכת ספציפית בפרויקטי Graviton ו-Nitro, יפצץ עבודה לצוות, יבדוק ויאשר פתרונות, וימנטור מהנדסים בתחום. התפקיד דורש ניסיון של 8+ שנים בFormal Verification, שליטה עמוקה ב-SVA וכלים אקדמיים, ותנסון בטיפול בפרויקטים מורכבים מתחילה עד סיום. מועמד/ת אידיאליים/ות יביאו כיצירוגיות טכנולוגית, ידע בפרוטוקולים כגון AXI ו-CHI, והכנה ליישומי AI בעולם האימות. במשרה זו תעצבו/י את המתודולוגיות של הצוות, תשתפו/י פעולה צמוד/ה עם צוותי Design, ותעלו/י רעיונות שיכולים להשפיע על פטנטים וטכנולוגיות חדשות בתחום. מיקום: חיפה · משרה מלאה · מחלקה: Hardware Development להגשת מועמדות: באתר החברה, דרך הכפתור למטה

פרטים

מיקום

חיפה