תיאור

מהנדס/ת Formal Verification בכיר/ה ב-Annapurna Labs (חלק מ-AWS) תהיה אחראי/ת על אימות פורמלי של בלוקים במעבדי Graviton או Nitro System, מהשלב של ארכיטקטורה ועד לחתימה סופית. התפקיד דורש לפחות 5 שנות ניסיון בעבודה מעשית בתחום, ידע עמוק ב-SystemVerilog Assertions וניסיון בעבודה עם כלים תעשייתיים לאימות פורמלי. במסגרת התפקיד תגדיר/י את תוכנית האימות, תבנה/י סביבות בדיקה מקיפות ותעבדי/י עם צוותי דיזיין להגדרת כוונות האימות וייעול איכות העיצוב, תוך הנהגת טכניקות חדשות כולל שימוש בـ AI. זו עמדה בכירה הדורשת יכולת מנטורינג וחשיבה יצירתית בפתרון בעיות מורכבות. מיקום: חיפה · משרה מלאה · מחלקה: Hardware Development להגשת מועמדות: באתר החברה, דרך הכפתור למטה

פרטים

מיקום

חיפה