---
title: "מהנדס אימות פורמלי בכיר… – Yoqneam Illit, Israel"
canonical: "https://www.metaintro.com/he/job/senior-formal-verification-engineer-at-nvidia-e176fa2a-e8cf-51bf-8470-309275558c37"
language: "he"
author: "Metaintro"
---

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

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

**מתכונת עבודה**
: Hybrid

**מיקום**
: Yoqneam Illit, רובע צפון, ישראל

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

**דרג**
: senior

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

## תיאור

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

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

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

- [Find מהנדס אימות פורמלי בכיר jobs in Yoqneam Illit, רובע צפון, ישראל](/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+Yoqneam+Illit%2C+%D7%A8%D7%95%D7%91%D7%A2+%D7%A6%D7%A4%D7%95%D7%9F%2C+%D7%99%D7%A9%D7%A8%D7%90%D7%9C)
- [Find roles similar to מהנדס אימות פורמלי בכיר in Yoqneam Illit, רובע צפון, ישראל](/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+Yoqneam+Illit%2C+%D7%A8%D7%95%D7%91%D7%A2+%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 Yoqneam Illit, רובע צפון, ישראל](/he/jobs/search?q=Find+Science%2C+Technology%2C+Engineering%2C+and+Math+jobs+in+Yoqneam+Illit%2C+%D7%A8%D7%95%D7%91%D7%A2+%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)