תיאור

מהנדס/ת בכיר/ה לאימות formal של SoC ב-Google Cloud, שיהיה חלק מצוות המפתחת שרתים מותאמים אישית עבור Google. התפקיד כולל תכנון אסטרטגיית אימות, יצירת תכונות ומגבלות עבור בלוקי עיצוב דיגיטליים מורכבים, ושימוש בכלים כמו JasperGold ו-Questa Formal כדי להשיג closure של אימות. דרוש/ה בעל/ת תואר ראשון בהנדסה חשמלית או מדעי המחשב, לפחות 10 שנות ניסיון בעבודה עם interconnects, DMA ו-power management, וניסיון בכתיבת properties ב-SVA או PSL. מיקום: תל אביב · משרה מלאה להגשת מועמדות: באתר החברה, דרך הכפתור למטה

פרטים

מיקום

תל אביב