Formal Verification Engineer, Annapurna Labs
Description
מהנדס/ת Formal Verification ב-Annapurna Labs (חלק מ-AWS) יהיה/תהיה אחראי/ת על אימות פורמלי של בלוקים בעיבודי Graviton או Nitro, מהשלב הארכיטקטוני ועד לחתימה סופית. התפקיד כולל בניית סביבות אימות מורכבות, פתרון בעיות התכנסות באמצעות abstraction וinvariants, ושיתוף פעולה הדוק עם צוקי עיצוב תוכנה. נדרשת תואר ראשון בהנדסת חשמל, שליטה בטכניקות הפחתת מורכبות, ידע בפרוטוקולים כמו AXI וCHI, וניסיון או עניין חזק בשימוש ב-AI בעבודה הנדסית. עדיפות לידע בשפות תכנות כמו Python ו-SystemVerilog וניסיון בעיבודי מעבדים, Ethernet ו-DDR. מיקום: חיפה · משרה מלאה · מחלקה: Hardware Development להגשת מועמדות: באתר החברה, דרך הכפתור למטה
Details
Company
Amazon
Location
ሃይፋ
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.ስለ ማስታወቂያው ይጠይቁSource
This listing was collected from a public external source. To contact the poster, visit the original post.
Original page at amazon.jobs