Senior Formal Verification Engineer
NVIDIA AI · Yokneam Illit
Job description
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
Why are you reporting this job?
Explore further
Salaries, guides and searches in Israel.
Salary: Senior DevOps Engineer Based on 10 job offers in IsraelSalaries by job title
Apply in 30 seconds
Enter your email to apply. An account will be created automatically.
By continuing, you accept our terms of use.
Already have an account? Login
Published 3 weeks ago
Expires 1 month from now
29 views · 0 interested
Boost your chances
Upload your CV — we will match you with relevant openings.
Analyzing your CV...
NVIDIA AI
Yokneam Illit