jobify_logo ×
  • מִשׁתַמֵשׁ
  • התחברות/הרשמה
  • עמוד הבית
  • מי אנחנו
  • מעסיקים מובילים
  • צרו קשר
  • תנאי שימוש
  • מדיניות פרטיות
  • הצהרת נגישות
קרן עזריאלי טקסט בעברית עם סמל אינסוף social_security the_israeli_employment_service work_office המקום
jobify_logo
  • מי אנחנו
  • מעסיקים מובילים
  • פרסום משרה חינם
  • צרו קשר
דילוג לתוכן

עדיין מחפשים עבודה במנועי חיפוש? הגיע הזמן להשתדרג!

במקום לעבור לבד על אלפי מודעות, Jobify מנתחת את קורות החיים שלך ומציגה לך רק משרות שבאמת מתאימות לך.

מעל 80,000 משרות • 4,000 חדשות ביום
חינם. בלי פרסומות. בלי אותיות קטנות.

formal verification manager

בשיבה בריאה

בשיבה בריאה בשיבה בריאה

  • תל אביב - יפו
  • Jobkarov

formal verification manager

בשיבה בריאה

בשיבה בריאה בשיבה בריאה

  • תל אביב - יפו
  • bag_icon מלאה
  • coins_icon 25,000-40,000 ₪ (הערכה מבוססת AI)
    זוהי הערכת טווח שכר מבוססת AI ולא פרסום של המעסיק
  • Jobkarov
JobKarov

we are now looking for a formal verification manager to join our networking team!
as a formal verification manager in networking business unit, you will lead a team of highly skilled formal engineers responsible for verifying the next generation of cutting-edge network products and gpu technologies.
this is a unique opportunity to make a real impact at the heart of ai and hpc revolution, while working in a fast-paced, innovative environment.
you will be part of a passionate and experienced team using leading formal verification tools and methodologies to ensure design correctness at the highest level. your work will influence key architectural decisions and help deliver world-class silicon solutions for  data centers, high-performance computing, networking, and  Storage applications.
what youll be doing:
lead and grow a team of formal  Verification engineers focused on pre-silicon formal verification of complex digital designs.
define and drive formal verification strategies and met

דרישות:

bsc or msc in electrical/computer engineering,  Computer Science, or mathematics.
5+ years of managerial experience in a chip design or verification domain.
8+ years of overall industry experience in formal verification, functional verification, or rtl design.
deep understanding of formal verification concepts, tools, and flows.
excellent leadership, problem-solving, and communication skills.
strong analytical and debugging abilities.
ways to stand out from the crowd:
hands-on experience with formal verification
background in developing formal testbenches, assertions, and coverage models.
managerial experience in chip design domain
a passion for recruiting, leading, mentoring engineers and building strong, collaborative teams. המשרה מיועדת לנשים ולגברים כאחד.


במקום לעבור לבד על אלפי מודעות, Jobify מנתחת את קורות החיים שלך ומציגה לך רק משרות שבאמת מתאימות לך.

מעל 80,000 משרות • 4,000 חדשות ביום
חינם. בלי פרסומות. בלי אותיות קטנות.

שאלות ותשובות עבור משרת formal verification manager

מנהל אימות פורמלי בבשיבה בריאה יוביל צוות מהנדסים מיומנים האחראים על אימות הדור הבא של מוצרי רשת וטכנולוגיות GPU. תפקיד זה חיוני להבטחת נכונות התכנון ברמה הגבוהה ביותר, תוך שימוש בכלי אימות פורמליים מובילים ומתודולוגיות מתקדמות, ובכך להשפיע על החלטות אדריכליות מרכזיות ולספק פתרונות סיליקון ברמה עולמית למרכזי נתונים, מחשוב עתיר ביצועים, רשתות ואחסון.

למשרת מנהל אימות פורמלי בבשיבה בריאה נדרשים תואר ראשון או שני בהנדסת חשמל/מחשבים, מדעי המחשב או מתמטיקה, יחד עם 5+ שנות ניסיון ניהולי בתחום תכנון שבבים או אימות, ו-8+ שנות ניסיון כללי בתעשייה באימות פורמלי, אימות פונקציונלי או תכנון RTL. כמו כן, נדרשת הבנה עמוקה של מושגי אימות פורמלי, כלים ותהליכים, ויכולות מנהיגות, פתרון בעיות ותקשורת מצוינות.

מנהל אימות פורמלי בבשיבה בריאה תורם למהפכת ה-AI וה-HPC על ידי הובלת צוות מהנדסים המתמקד באימות פורמלי לפני ייצור שבבים של תכנונים דיגיטליים מורכבים. תפקיד זה כולל הגדרה והובלת אסטרטגיות אימות פורמליות, ובכך מבטיח את איכות ואמינות פתרונות הסיליקון המשמשים ביישומי AI ומחשוב עתיר ביצועים, ומאפשר חדשנות וביצועים פורצי דרך בתחומים אלו.

משרות נוספות מומלצות עבורך
  • רשימת משאלות

    Formal Verification Manager

    • map_icon תל אביב - יפו
    NVIDIA

    NVIDIA

  • רשימת משאלות

    Formal Verification Manager

    • map_icon רעננה
    NVIDIA

    NVIDIA

ניתן לצפות במשרות שסימנת בכל שלב תחת התפריט הראשי בקטגוריית 'משרות שאהבתי'

המקום קרן עזריאלי טקסט בעברית עם סמל אינסוף
  • מי אנחנו
  • מעסיקים מובילים
  • צרו קשר
  • תנאי שימוש
  • מדיניות פרטיות
  • הצהרת נגישות

2026 Ⓒ ג'וביפיי - כל הזכויות שמורות

קרן עזריאלי טקסט בעברית עם סמל אינסוף social_security the_israeli_employment_service israel_innovation_authority work_office המקום
המערכת בונה את הפרופיל התעסוקתי שלך

עוד רגע...

המערכת זיהתה ששינית את הנתונים באזור האישי ומעדכנת את ההמלצות על תפקידים ומשרות בהתאם.

מצטערים, לא הצלחנו לנתח בהצלחה את הנתונים שהזנת.
אתם מוזמנים לנסות להזין שוב או להעלות קובץ קורות חיים במידה ויש לכם.
בהצלחה

הגעת להגבלה היומית של שלושה עדכונים בפרופיל האישי ביום

loader

הבקשה שלך נשלחה בהצלחה!

יש באפשרותך לשלוח בקשה לקבלת ייעוץ אישי ללא עלות מיועצת קריירה.

באפשרותך לשלוח בקשה לקבלת ייעוץ אישי ללא עלות

  • בעיה טכנית

  • סיוע בכתיבת קורות חיים או בהכנה לראיון עבודה

  • התאמה של משרות

  • אחר:

פנייתך נשלחה בהצלחה. נציג מטעם ארגון נכי צהל ייצור איתך קשר בהקדם