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

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

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

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

הגשת מועמדות

Formal Verification Engineer

Nvidia

הגשת מועמדות

Nvidia Nvidia

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

Formal Verification Engineer

Nvidia

הגשת מועמדות

Nvidia Nvidia

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

We are looking for a 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 Switch 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 Switch team delivers world class Bridge and router solutions for HPC, data-center, network, and storage markets. We micro-architect, verify, and deliver smart and high bandwidth multi port switches. We have 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 formally prove the correctness of complicated

דרישות:

What we need to see:

BSc in Electrical/Computer Engineering or MSc in Mathematics.

1+ years of experience

Excellent analytical, logical reasoning and problem-solving skills.

Strong debugging and analytical skills.

Strong communication and interpersonal skills are required.

Ways to stand out from the crowd:

Formal verification work experience.

Knowledge of digital logic. המשרה מיועדת לנשים ולגברים כאחד.


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

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

הגשת מועמדות

שאלות ותשובות עבור משרת Formal Verification Engineer

מהנדס אימות פורמלי בצוות ה-Networking של Nvidia אחראי על שימוש באלגוריתמים וכלים מתקדמים לאימות פורמלי כדי להוכיח את נכונותם של תכנונים מורכבים של מתגים (Switches) ופתרונות גישור וניתוב עבור שוקי HPC, דאטה-סנטר, רשתות ואחסון. התפקיד כולל עבודה עם טכנולוגיות חדישות ומתודולוגיות אימות פורמליות מהשורה הראשונה.

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

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

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

    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

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

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

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

  • בעיה טכנית

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

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

  • אחר:

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