---
title: "مهندس التحقق الشكلي (Formal… – Yoqneam Illit, Israel"
canonical: "https://www.metaintro.com/ar/job/senior-formal-verification-engineer-at-nvidia-e176fa2a-e8cf-51bf-8470-309275558c37"
language: "ar"
author: "Metaintro"
---

[![Mellanox Technologies, Ltd. logo](/api/favicon-proxy?url=https%3A%2F%2Fnvidia.com%2Ffavicon.ico)](/company/nvidia)[Mellanox Technologies, Ltd.](/company/nvidia)
# مهندس التحقق الشكلي (Formal Verification) كبير at Mellanox Technologies, Ltd.

اللغةEnglish
العربية
עברית

**نمط العمل**
: Hybrid

**موقع**
: يلوكنيع عيليت، المنطقة الشمالية، إسرائيل

**نوع التوظيف**
: دوام كامل

**المستوى**
: senior

**نشر**
: 25 أغسطس 2026

## وصف

تقوم NVIDIA بتوظيف مهندس التحقق الشكلي (Formal Verification) كبير ضمن فريق الشبكات لديها لإثبات صحة المنطق المعقّد في تصاميم NIC قبل السيليكون بشكلٍ رسمي. تتضمن هذه الوظيفة تطبيق خوارزميات ومنهجيات التحقق الشكلي، والتعاون مع التقنيات الأساسية للجيل التالي، وتعزيز الخبرة في بروتوكولات الاتصالات والتنفيذات على العتاد. يحتاج المرشحون إلى الحصول على BSc في الهندسة الكهربائية أو هندسة الحاسوب، أو على MSc في الرياضيات، أو خبرة مكافئة، بالإضافة إلى ما لا يقل عن خمس سنوات من الخبرة ذات الصلة، مع امتلاك مهارات تحليلية قوية وامتياز في عملية تتبع الأخطاء (debugging) والتواصل وحل المشكلات.

## عمليات بحث رائجة عن وظائف

كل استعلام يفتح أدوارًا حية وعينات رواتب وطلبًا في السوق — اضغط على بحث لتشغيله فورًا.

- [Find مهندس التحقق الشكلي كبير jobs in يلوكنيع عيليت، المنطقة الشمالية، إسرائيل](/ar/jobs/search?q=Find+%D9%85%D9%87%D9%86%D8%AF%D8%B3+%D8%A7%D9%84%D8%AA%D8%AD%D9%82%D9%82+%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A+%D9%83%D8%A8%D9%8A%D8%B1+jobs+in+%D9%8A%D9%84%D9%88%D9%83%D9%86%D9%8A%D8%B9+%D8%B9%D9%8A%D9%84%D9%8A%D8%AA%D8%8C+%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82%D8%A9+%D8%A7%D9%84%D8%B4%D9%85%D8%A7%D9%84%D9%8A%D8%A9%D8%8C+%D8%A5%D8%B3%D8%B1%D8%A7%D8%A6%D9%8A%D9%84)
- [Find roles similar to مهندس التحقق الشكلي كبير in يلوكنيع عيليت، المنطقة الشمالية، إسرائيل](/ar/jobs/search?q=Find+roles+similar+to+%D9%85%D9%87%D9%86%D8%AF%D8%B3+%D8%A7%D9%84%D8%AA%D8%AD%D9%82%D9%82+%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A+%D9%83%D8%A8%D9%8A%D8%B1+in+%D9%8A%D9%84%D9%88%D9%83%D9%86%D9%8A%D8%B9+%D8%B9%D9%8A%D9%84%D9%8A%D8%AA%D8%8C+%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82%D8%A9+%D8%A7%D9%84%D8%B4%D9%85%D8%A7%D9%84%D9%8A%D8%A9%D8%8C+%D8%A5%D8%B3%D8%B1%D8%A7%D8%A6%D9%8A%D9%84)
- [Find مهندس التحقق الشكلي كبير jobs with بروتوكولات الاتصالات](/ar/jobs/search?q=Find+%D9%85%D9%87%D9%86%D8%AF%D8%B3+%D8%A7%D9%84%D8%AA%D8%AD%D9%82%D9%82+%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A+%D9%83%D8%A8%D9%8A%D8%B1+jobs+with+%D8%A8%D8%B1%D9%88%D8%AA%D9%88%D9%83%D9%88%D9%84%D8%A7%D8%AA+%D8%A7%D9%84%D8%A7%D8%AA%D8%B5%D8%A7%D9%84%D8%A7%D8%AA)
- [Find jobs similar to مهندس التحقق الشكلي كبير](/ar/jobs/search?q=Find+jobs+similar+to+%D9%85%D9%87%D9%86%D8%AF%D8%B3+%D8%A7%D9%84%D8%AA%D8%AD%D9%82%D9%82+%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A+%D9%83%D8%A8%D9%8A%D8%B1)
- [Find مهندس التحقق الشكلي كبير jobs posted this week](/ar/jobs/search?q=Find+%D9%85%D9%87%D9%86%D8%AF%D8%B3+%D8%A7%D9%84%D8%AA%D8%AD%D9%82%D9%82+%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A+%D9%83%D8%A8%D9%8A%D8%B1+jobs+posted+this+week)
- [Find Science, Technology, Engineering, and Math jobs in يلوكنيع عيليت، المنطقة الشمالية، إسرائيل](/ar/jobs/search?q=Find+Science%2C+Technology%2C+Engineering%2C+and+Math+jobs+in+%D9%8A%D9%84%D9%88%D9%83%D9%86%D9%8A%D8%B9+%D8%B9%D9%8A%D9%84%D9%8A%D8%AA%D8%8C+%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82%D8%A9+%D8%A7%D9%84%D8%B4%D9%85%D8%A7%D9%84%D9%8A%D8%A9%D8%8C+%D8%A5%D8%B3%D8%B1%D8%A7%D8%A6%D9%8A%D9%84)
- [Find Science, Technology, Engineering, and Math jobs with بروتوكولات الاتصالات](/ar/jobs/search?q=Find+Science%2C+Technology%2C+Engineering%2C+and+Math+jobs+with+%D8%A8%D8%B1%D9%88%D8%AA%D9%88%D9%83%D9%88%D9%84%D8%A7%D8%AA+%D8%A7%D9%84%D8%A7%D8%AA%D8%B5%D8%A7%D9%84%D8%A7%D8%AA)
- [Find remote Science, Technology, Engineering, and Math jobs](/ar/jobs/search?q=Find+remote+Science%2C+Technology%2C+Engineering%2C+and+Math+jobs)

## احصل على المزيد من Metaintro

استكشف بحثًا قويًا عن الوظائف وتوصيات مخصصة ورؤى مهنية عميقة مدعومة ببيانات شاملة رائدة في السوق وإشارات سوق حية.

- [تصفح جميع الوظائف](/jobs/search)
- [الوصول إلى مركز المساعدة](/help)
- [اكتشف المحتوى الخاص بنا](/blog)

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

لباحثي العمل

## هل أنت مستعد للعثور على دور يناسبك فعلاً؟

ارفع سيرتك الذاتية، وابدأ سلسلة بحث عن وظيفة، ودع Metaintro يصنّف الفرص الحقيقية وفق خبرتك — ثم يرشدك من البحث إلى العرض.

[ابدأ مجانًا](/signup)[ابحث عن وظائف مطابقة](/jobs/search)

الملاءمة

قارن الوظائف الحالية بأدلتك الحالية.

التموضع

حوّل مشاريع الإثبات إلى طلبات مخصّصة لكل دور.

التحسين

استخدم ملاحظات السوق لإبقاء خطة المهارات محدّثة.

[العودة إلى التنقل](#main-navigation)