תיאור

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

פרטים

מיקום

חיפה