Senior Formal Verification Engineer, Annapurna Labs
Description
מהנדס/ת Formal Verification בדרגת L6 ב-Annapurna Labs (חטיבת AWS) יוביל את אסטרטגיית האימות הפורמלי לתת-מערכת ספציפית בפרויקטי Graviton ו-Nitro, יפצץ עבודה לצוות, יבדוק ויאשר פתרונות, וימנטור מהנדסים בתחום. התפקיד דורש ניסיון של 8+ שנים בFormal Verification, שליטה עמוקה ב-SVA וכלים אקדמיים, ותנסון בטיפול בפרויקטים מורכבים מתחילה עד סיום. מועמד/ת אידיאליים/ות יביאו כיצירוגיות טכנולוגית, ידע בפרוטוקולים כגון AXI ו-CHI, והכנה ליישומי AI בעולם האימות. במשרה זו תעצבו/י את המתודולוגיות של הצוות, תשתפו/י פעולה צמוד/ה עם צוותי Design, ותעלו/י רעיונות שיכולים להשפיע על פטנטים וטכנולוגיות חדשות בתחום. מיקום: חיפה · משרה מלאה · מחלקה: Hardware Development להגשת מועמדות: באתר החברה, דרך הכפתור למטה
Details
Company
Amazon
Location
Haifa
Senior Formal Verification Engineer, Annapurna Labs
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 listingSource
This listing was collected from a public external source. To contact the poster, visit the original post.
Original page at amazon.jobs