תיאור

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

פרטים

מיקום

חיפה