תיאור

מהנדס/ת Formal Verification בצוות Networking של Intel, העוסק בפיתוח טכנולוגיות Ethernet מתקדמות לענן ומרכזי נתונים. התפקיד כולל אימות מיקרו-ארכיטקטורה של עיצובי IP באמצעות כלים תעשייתיים כמו Jasper ו-SVA, הגדרת אסטרטגיית אימות, יצירת מודלים מופשטים, וניהול מסקנות עיצוב מורכבות. דרוש ניסיון של 3+ שנים ב-Formal Verification, בעדיפות ניסיון ב-Jasper, SVA ו-Perl/Python, וכן היכרות עם כלים מבוססי AI וGHCP. מיקום: חיפה · משרה מלאה להגשת מועמדות: באתר החברה, דרך הכפתור למטה

פרטים

מיקום

חיפה