---
title: "מהנדס אימות פורמלי בכיר at NVIDIA – Yoqneam Illit, Israel"
canonical: "https://www.metaintro.com/he/job/senior-formal-verification-engineer-at-nvidia-d7b2bb63-eb22-5528-ba58-c03d8ef74701"
language: "he"
author: "Metaintro"
---

[![NVIDIA logo](/api/favicon-proxy?url=https%3A%2F%2Fnvidia.com%2Ffavicon.ico)](/company/nvidia)[NVIDIA](/company/nvidia)
# מהנדס אימות פורמלי בכיר at NVIDIA

מחלקה: Engineer, ASIC

שפהEnglish
العربية
עברית

**מתכונת עבודה**
: במקום העבודה

**מיקום**
: יקנעם עילית, מחוז הצפון, ישראל

**סוג משרה**
: משרה מלאה

**דרג**
: senior

**פורסם**
: 25 באוג׳ 2026

## תיאור

NVIDIA מגייסת מהנדס אימות פורמלי בכיר לצוות Networking, כדי להוכיח פורמלית את נכונותה של לוגיקה מורכבת בתכנוני NIC לפני ייצור הסיליקון. התפקיד כולל יישום אלגוריתמים ומתודולוגיות של אימות פורמלי, שיתוף פעולה בפיתוח טכנולוגיות ליבה מהדור הבא, והעמקת המומחיות בפרוטוקולי תקשורת ובמימושי חומרה. המועמדים נדרשים לתואר BSc בהנדסת חשמל או בהנדסת מחשבים, לתואר MSc במתמטיקה, או לניסיון מקביל, וכן לניסיון רלוונטי של חמש שנים לפחות ולכישורים חזקים בניתוח, באיתור ותיקון באגים, בתקשורת ובפתרון בעיות.

## חיפושי עבודה חמים

כל שאילתה פותחת משרות חיות, דגימות שכר וביקוש בשוק — הקישו על חיפוש כדי להריץ אותו מיד.

- [Find מהנדס אימות פורמלי בכיר jobs in יקנעם עילית, מחוז הצפון, ישראל](/he/jobs/search?q=Find+%D7%9E%D7%94%D7%A0%D7%93%D7%A1+%D7%90%D7%99%D7%9E%D7%95%D7%AA+%D7%A4%D7%95%D7%A8%D7%9E%D7%9C%D7%99+%D7%91%D7%9B%D7%99%D7%A8+jobs+in+%D7%99%D7%A7%D7%A0%D7%A2%D7%9D+%D7%A2%D7%99%D7%9C%D7%99%D7%AA%2C+%D7%9E%D7%97%D7%95%D7%96+%D7%94%D7%A6%D7%A4%D7%95%D7%9F%2C+%D7%99%D7%A9%D7%A8%D7%90%D7%9C)
- [Find roles similar to מהנדס אימות פורמלי בכיר in יקנעם עילית, מחוז הצפון, ישראל](/he/jobs/search?q=Find+roles+similar+to+%D7%9E%D7%94%D7%A0%D7%93%D7%A1+%D7%90%D7%99%D7%9E%D7%95%D7%AA+%D7%A4%D7%95%D7%A8%D7%9E%D7%9C%D7%99+%D7%91%D7%9B%D7%99%D7%A8+in+%D7%99%D7%A7%D7%A0%D7%A2%D7%9D+%D7%A2%D7%99%D7%9C%D7%99%D7%AA%2C+%D7%9E%D7%97%D7%95%D7%96+%D7%94%D7%A6%D7%A4%D7%95%D7%9F%2C+%D7%99%D7%A9%D7%A8%D7%90%D7%9C)
- [Find מהנדס אימות פורמלי בכיר jobs with אימות פורמלי and פרוטוקולי תקשורת](/he/jobs/search?q=Find+%D7%9E%D7%94%D7%A0%D7%93%D7%A1+%D7%90%D7%99%D7%9E%D7%95%D7%AA+%D7%A4%D7%95%D7%A8%D7%9E%D7%9C%D7%99+%D7%91%D7%9B%D7%99%D7%A8+jobs+with+%D7%90%D7%99%D7%9E%D7%95%D7%AA+%D7%A4%D7%95%D7%A8%D7%9E%D7%9C%D7%99+and+%D7%A4%D7%A8%D7%95%D7%98%D7%95%D7%A7%D7%95%D7%9C%D7%99+%D7%AA%D7%A7%D7%A9%D7%95%D7%A8%D7%AA)
- [Find jobs similar to מהנדס אימות פורמלי בכיר](/he/jobs/search?q=Find+jobs+similar+to+%D7%9E%D7%94%D7%A0%D7%93%D7%A1+%D7%90%D7%99%D7%9E%D7%95%D7%AA+%D7%A4%D7%95%D7%A8%D7%9E%D7%9C%D7%99+%D7%91%D7%9B%D7%99%D7%A8)
- [Find מהנדס אימות פורמלי בכיר jobs posted this week](/he/jobs/search?q=Find+%D7%9E%D7%94%D7%A0%D7%93%D7%A1+%D7%90%D7%99%D7%9E%D7%95%D7%AA+%D7%A4%D7%95%D7%A8%D7%9E%D7%9C%D7%99+%D7%91%D7%9B%D7%99%D7%A8+jobs+posted+this+week)
- [Find Science, Technology, Engineering, and Math jobs in יקנעם עילית, מחוז הצפון, ישראל](/he/jobs/search?q=Find+Science%2C+Technology%2C+Engineering%2C+and+Math+jobs+in+%D7%99%D7%A7%D7%A0%D7%A2%D7%9D+%D7%A2%D7%99%D7%9C%D7%99%D7%AA%2C+%D7%9E%D7%97%D7%95%D7%96+%D7%94%D7%A6%D7%A4%D7%95%D7%9F%2C+%D7%99%D7%A9%D7%A8%D7%90%D7%9C)
- [Find Science, Technology, Engineering, and Math jobs with אימות פורמלי and פרוטוקולי תקשורת](/he/jobs/search?q=Find+Science%2C+Technology%2C+Engineering%2C+and+Math+jobs+with+%D7%90%D7%99%D7%9E%D7%95%D7%AA+%D7%A4%D7%95%D7%A8%D7%9E%D7%9C%D7%99+and+%D7%A4%D7%A8%D7%95%D7%98%D7%95%D7%A7%D7%95%D7%9C%D7%99+%D7%AA%D7%A7%D7%A9%D7%95%D7%A8%D7%AA)
- [Find remote Science, Technology, Engineering, and Math jobs](/he/jobs/search?q=Find+remote+Science%2C+Technology%2C+Engineering%2C+and+Math+jobs)

## קבלו יותר ממטאינטרו

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

- [עיון בכל המשרות](/jobs/search)
- [גישה למרכז העזרה](/help)
- [עיון בתוכן שלנו](/blog)

![](https://cdn.metaintro.com/rs:fill:1200:800/q:30/plain/images/bridges/bridge-expand.1df895c6bd76d96f.png)

למחפשי עבודה

## מוכנים למצוא תפקיד שמתאים באמת?

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

[התחילו בחינם](/signup)[חיפוש משרות תואמות](/jobs/search)

התאמה

השוו משרות פתוחות לראיות הנוכחיות שלכם.

מיצוב

הפכו פרויקטי הוכחה למועמדויות מותאמות לתפקיד.

שיפור

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

[חזרה לניווט](#main-navigation)