Formal Verification Engineer
Israelonsitemid
Posted today · via Workday
About this role
We are looking for a Formal Verification Engineer for our NVIDIA Networking team! This is an exciting opportunity to join a hardworking Pre-Silicon design and verification team, working on groundbreaking NIC technologies. We deploy state-of-the art formal verification tools and methodologies to prove design correctness. Working in our formal verification team will expose you to a wide range of cutting edge design and technologies. Our NIC team delivers world class CPU interface and offload solutions for HPC, data-center, network, and storage markets. We micro-architect, verify, and deliver the best and most widely used high BW ethernet and IB NICs in the industry. NVIDIA has the most sophisticated formal tools and methodologies in the industry, which help us achieve A0 design tapeouts.…
What we'd score you on
reqspace match rubricFive dimensions, recruiter-grade. Upload your resume and we'll generate a written explanation of where you fit and where the gaps are.
1
Skills match
We compare your skills against the role requirements.
2
Level fit
This role is mid-level. We check your trajectory against it.
3
Domain experience
Your work in the role's domain matters more than your years total. We weight recent and direct experience.
4
Recency
A skill you used last quarter weighs more than one from five years ago. We grade on recency, not lifetime.
5
Location fit
This role is based in Israel. We weight your proximity and willingness to relocate.
Score yourself on this role.
Free · no card · written explanation included
More at Nvidia
- View →Formal Verification Engineer - New College Grad 2026US, TX, Austin
- View →Supply Chain Data EngineerUS, CA, Santa Clara
- View →Developer Relations Manager, Local AI EcosystemUS, CA, Santa Clara
- View →Senior Technical Program Manager, Sensor IQUS, CA, Santa Clara
- View →Senior Memory Controller Verification EngineerUS, CA, Santa Clara
- View →Senior ASIC Design Engineer - DFXUS, CA, Santa Clara
