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
מדוע אתם מדווחים על ההצעה הזו?
Explore further
Salaries, guides and searches for ישראל.
Salary: Senior DevOps Engineer Based on 10 job offers in ישראלSalaries by job title
הגש בקשה ב-30 שניות
הזינו את המייל שלכם כדי להגיש בקשה. חשבון יווצר אוטומטית.
בהמשך, אתם מסכימים לתנאי השימוש שלנו.
כבר יש לכם חשבון? התחברות
מתפרסם לפני שבועיים
תפוגה בעוד חודש מעכשיו
22 צפיות · 0 interested
הגדל את סיכוייך
העלה את קורות החיים שלך: אנו מציעים לך מודעות תואמות לפרופיל שלך.
מנתח את קורות החיים שלך...
NVIDIA AI
Yokneam Illit