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

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

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

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

הגשת מועמדות

senior formal Verification engineer

Nvidia

הגשת מועמדות

Nvidia Nvidia

  • יקנעם עילית
  • Jobkarov

senior formal Verification engineer

Nvidia

הגשת מועמדות

Nvidia Nvidia

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

we are looking for a senior formal  Verification engineer for our networking team!
this is an exciting opportunity to join a hardworking pre-silicon design and verification team, working on groundbreaking nic technologies. we deploy state-of-the art formal verification tools and methodologies to prove design correctness. working in our formal verification team will expose you to a wide range of cutting edge design and technologies. our nic team delivers world class cpu interface and offload solutions for hpc,  data -center, network, and  Storage markets. we micro-architect, verify, and deliver the best and most widely used high bw ethernet and ib nics in the industry. nvidia has the most sophisticated formal tools and methodologies in the industry, which help us achieve a0 design tapeouts. as part of this team, you'll enjoy a versatile work environment, which is educational, dynamic and ambitious.
what you'll be doing:
in this position you will use formal verification algorithms to f

דרישות:

what we need to see:
bsc in electrical/computer engineering or msc in mathematics, or equivalent experience.
5+ years of relevant experience.
excellent analytical, logical reasoning and problem-solving skills.
strong debugging and analytical skills.
strong communication and interpersonal skills are required. המשרה מיועדת לנשים ולגברים כאחד.


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

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

הגשת מועמדות

שאלות ותשובות עבור משרת senior formal Verification engineer

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

לתפקיד מהנדס אימות פורמלי בכיר ב-Nvidia נדרש תואר ראשון בהנדסת חשמל/מחשבים או תואר שני במתמטיקה (או ניסיון מקביל), יחד עם 5+ שנות ניסיון רלוונטי. כמו כן, נדרשים כישורים אנליטיים חזקים, יכולות פתרון בעיות, וכישורי תקשורת בינאישיים מצוינים. המועמד ישתלב בצוות ה-pre-silicon design and verification, ויתמקד בפיתוח ואימות טכנולוגיות NIC מתקדמות.

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

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

    Senior Formal Verification Engineer

    • map_icon תל אביב - יפו
    Samsung Research and Development Center Israel

    Samsung Research and Development Center Israel

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

    Formal Verification Engineer

    • map_icon פתח תקווה
    Intel

    Intel

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

    Formal Verification Engineer

    • map_icon חיפה
    Intel

    Intel

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

    Formal Verification Engineer

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

    NVIDIA

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

    Principal Formal Verification Engineer

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

    NVIDIA

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

    Senior Formal Verification Engineer

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

    NVIDIA

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

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

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

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

עוד רגע...

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

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

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

loader

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

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

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

  • בעיה טכנית

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

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

  • אחר:

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