Formal Verification Engineer, Annapurna Labs
Description
מהנדס/ת Formal Verification בכיר/ה ב-Annapurna Labs (חלק מ-AWS) תהיה אחראי/ת על אימות פורמלי של בלוקים במעבדי Graviton או Nitro System, מהשלב של ארכיטקטורה ועד לחתימה סופית. התפקיד דורש לפחות 5 שנות ניסיון בעבודה מעשית בתחום, ידע עמוק ב-SystemVerilog Assertions וניסיון בעבודה עם כלים תעשייתיים לאימות פורמלי. במסגרת התפקיד תגדיר/י את תוכנית האימות, תבנה/י סביבות בדיקה מקיפות ותעבדי/י עם צוותי דיזיין להגדרת כוונות האימות וייעול איכות העיצוב, תוך הנהגת טכניקות חדשות כולל שימוש בـ AI. זו עמדה בכירה הדורשת יכולת מנטורינג וחשיבה יצירתית בפתרון בעיות מורכבות. מיקום: חיפה · משרה מלאה · מחלקה: Hardware Development להגשת מועמדות: באתר החברה, דרך הכפתור למטה
Details
Company
Amazon
Location
Haïfa
Formal Verification Engineer, Annapurna Labs
This role is published on Amazon's own site. You apply there; our part is getting it seen.
Apply on the company siteWant up to 3 matching jobs by mail every morning? Paste your CV.Poser une questionSource
This listing was collected from a public external source. To contact the poster, visit the original post.
Original page at amazon.jobs