NVIDIASenior Formal Verification Engineer
NVIDIA is hiring a Senior Formal Verification Engineer in Tel Aviv, Israel. Level rates it ; you can apply on NVIDIA.
Level's read on this job
- Level rates this role Little AI ●○○○: aI is not part of the work.
- The posting mentions formal verification, digital logic and debugging among its tools and skills.
- Level classes it as a senior role.
- NVIDIA has 2,700+ other open roles on Level.
AI in this role
Senior Formal Verification Engineer using formal verification tools to prove design correctness for networking switch and GPU chips.
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 Switch and GPU 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 that are in the heart of th AI revolution. Our team delivers world class Chips solutions for HPC, AI infrastructures, data-center, network, and storage markets. We micro-architect, verify, and deliver smart and high bandwidth multi port switches. NVIDIA has the most sophisticated formal tools and methodologies in the industry, which help us achieve A0 design tapeouts. As part of this team, you'll enjoy a versatile work environment, which is educational, dynamic and ambitious.
What you'll be doing:
In this position you will use formal verification algorithms to formally prove the correctness of complicated logic problems.
You will work on ambitious designs along with our Pre-Silicon team and take part in developing the next generation of NVIDIA's core technology.
You will take part in the AI revolution led by NVIDIA, working on cutting edge architecture.
What we need to see:
BSc in Electrical/Computer Engineering or MSc in Mathematics
5+ years of relevant experience in chip design field (design/verification/formal).
Excellent analytical, logical reasoning and problem-solving skills
Strong debugging and analytical skills.
Strong communication and interpersonal skills are required
Ways to stand out from the crowd:
Formal verification work experience.
Knowledge of digital logic
NVIDIA has some of the most forward-thinking and hardworking people in the world working for us. Are you a creative and autonomous engineer who loves a challenge? Come join our team and help us build the future HPC and data centers. NVIDIA is committed to fostering a diverse work environment and proud to be an equal opportunity employer.
How we rate this
Senior Formal Verification Engineer at NVIDIA rates 10 out of 100 for how much of the daily work is AI. That makes it Little AI (AI Level 1 of 4). The level is about AI in the job, not seniority.
Little AI. AI is not part of the work.
- ●●●● Builds AI80 to 100
- ●●●○ Works on AI60 to 79
- ●●○○ Uses AI40 to 59
- ●○○○ Little AI0 to 39
Levels come from how often the tools, models and workflows of the role are named in the posting itself. Read the description and count the AI tools, models and workflows it names.
Prepare for this job
Built from this posting and from similar jobs on Level.
Skills and AI tools this role asks for
Questions you could be asked
- Tell me about a project where formal verification was part of your work. What did you do?
- Tell me about a project where digital logic was part of your work. What did you do?
- Tell me about a project where debugging was part of your work. What did you do?
- Tell me about a project where chip design was part of your work. What did you do?
Adapt your resume
- List these exact terms on your resume: Formal Verification, Digital Logic, Debugging, and Chip Design. An applicant tracking system matches the wording, not the idea.
- Attach one line of real, concrete experience to at least one of them. A tool named with nothing behind it rarely survives a human read.
Want an expert to read your CV for this job?
Free. Send your CV and the role you want next. You get your review by email within 24 hours.
Get new software engineering jobs by email
One email a week with the new software engineering jobs, each rated for how much AI is in the work. No recruiter spam, unsubscribe in one click.
Free. One email a week. Unsubscribe in one click.
Similar roles
Software Engineering roles that involve little AI, at other companies.
What kind of AI work fits you?
Answer 12 practical questions in about three minutes. Get a simple profile, the work it points to, and live roles to explore next.
Find my next step