תיאור

Google Cloud מחפשת מהנדס/ת בכיר/ה בתחום Formal Verification לפיתוח שבבים מותאמים אישית (Edge-AI SoC) המופעלים בתוצרי Google. התפקיד כולל תכנון ויישום אסטרטגיות Formal Verification מתקדמות, שימוש בכלים כמו Jasper ו-VC-Formal, וניהול פרויקטים של אימות פורמלי בשיתוף עם צוותי Design ו-DV. נדרש לפחות 8 שנות ניסיון בתחום Formal Verification, תואר ראשון בהנדסת חשמל או מדעי המחשב, וכישורי מנהיגות בהגדרת אסטרטגיה של בדיקות וקביעת איכות. דרגת סניוריות גבוהה עם דגש על פיתוח מתודולוגיות חדשות וקומפוננטות ניתנות לשימוש חוזר. מיקום: תל אביב · משרה מלאה להגשת מועמדות: באתר החברה, דרך הכפתור למטה

פרטים

מיקום

תל אביב