Senior Formal Verification Engineer
NVIDIA AI · Yokneam Illit
وصف الوظيفة
About the role
We are seeking a Senior Formal Verification Engineer to join NVIDIA’s Networking pre‑silicon design and verification team. You will work on cutting‑edge NIC technologies, applying state‑of‑the‑art formal verification tools and methodologies to ensure design correctness.
Key responsibilities
- Develop and apply formal verification algorithms to prove the correctness of complex logic designs.
- Collaborate with the pre‑silicon team on ambitious NIC designs and contribute to next‑generation NVIDIA core technology.
- Utilize advanced formal verification tools and methodologies to achieve A0 design tape‑outs.
- Advance expertise in communication protocols and hardware implementations.
Required profile
- BSc in Electrical/Computer Engineering, MSc in Mathematics, or equivalent experience.
- 5+ years of relevant experience in formal verification or related fields.
- Excellent analytical, logical reasoning and problem‑solving abilities.
- Strong debugging, analytical, communication and interpersonal skills.
Required skills
- Formal verification experience.
- Knowledge of digital logic.
Questions fréquentes
لماذا تبلغ عن هذا العرض؟
اكتشف المزيد
الرواتب والأدلة وعمليات البحث في Israel.
الراتب: Senior DevOps Engineer استنادًا إلى 17 عرض عمل في Israelالرواتب حسب المهنة
قدم طلبك في 30 ثانية
أدخل بريدك الإلكتروني للتقديم. سيتم إنشاء حساب تلقائياً.
بالمتابعة، أنت توافق على شروط الاستخدام.
لديك حساب بالفعل؟ تسجيل الدخول
لديك سؤال حول هذا العرض؟
اطرحه هنا: ستصلك تفاصيل العرض كاملة عبر البريد الإلكتروني، فوراً.
عزز فرصك
حمّل سيرتك الذاتية وسنقترح عليك الوظائف التي تناسب ملفك.
جاري تحليل سيرتك الذاتية...
NVIDIA AI
Yokneam Illit