Junior Formal Verification Engineer, Annapurna Labs
מהנדס/ת Formal Verification בתפקיד junior בחברת Annapurna Labs (חלק מ-AWS) יהיה/תהיה אחראי/ת על אימות פורמלי של בלוקים בעיבודי Graviton ו-Nitro, מהשלב של ארכיטקטורה ועד ל-sign-off. התפקיד דורש בעלי תואר ראשון בהנדסת חשמל, ידע עמוק בטכניקות הפחתת מורכבות ואבסטרקציה, וידע בפרוטוקולים כמו ABI, AXI ו-CHI, לצד עניין חזק בשימוש ב-AI בהנדסה. על המועמד/ת יהיה/תהיה להשתתף בהגדרת תוכנית האימות, לבנות סביבות אימות מתקדמות, ולעבוד בשיתוף פעולה הדוק עם צוותי עיצוב וטכנולוגיה שונים כדי להביא שבבים חדשניים לשוק. מיקום: חיפה · משרה מלאה · מחלקה: Hardware Development להגשת מועמדות: באתר החברה, דרך הכפתור למטה
Company
Amazon
Haifa
This role is published on Amazon's own site. You apply there; our part is getting it seen.
All open roles at Amazon →Apply on the company siteWant up to 3 matching jobs by mail every morning? Paste your CV.Ask about this listingThis listing was collected from a public external source. To contact the poster, visit the original post.
Original page at amazon.jobs