Formal Verification Engineer
מהנדס/ת Formal Verification בצוות Networking של Intel, העוסק בפיתוח טכנולוגיות Ethernet מתקדמות לענן ומרכזי נתונים. התפקיד כולל אימות מיקרו-ארכיטקטורה של עיצובי IP באמצעות כלים תעשייתיים כמו Jasper ו-SVA, הגדרת אסטרטגיית אימות, יצירת מודלים מופשטים, וניהול מסקנות עיצוב מורכבות. דרוש ניסיון של 3+ שנים ב-Formal Verification, בעדיפות ניסיון ב-Jasper, SVA ו-Perl/Python, וכן היכרות עם כלים מבוססי AI וGHCP. מיקום: חיפה · משרה מלאה להגשת מועמדות: באתר החברה, דרך הכפתור למטה
Company
Intel
Haifa
This role is published on Intel's own site. You apply there; our part is getting it seen.
All open roles at Intel →Apply on the company siteWant up to 3 matching jobs by mail every morning? Paste your CV.Ask about this listingThis listing was collected from a public external source. To contact the poster, visit the original post.
Original page at intel.wd1.myworkdayjobs.com