ApplySarthi

Senior Formal Verification Engineer

Nvidia

Tailor my CV for this job, freeView job and applyYour CV rewritten for this role, from your real experience. Sign in with Google, nothing to install.

Got this interview? Our apps help you get the job.

This role on the market

651 open verification roles across 42 companies are on ApplySarthi right now, most of them in Bengaluru (126), Hyderabad (51), Pune (10).

What verification roles keep asking for: Python (44%), Perl (26%), C++ (20%) — counted across their open postings here.

Nvidia has 3,054 open roles listed here.

Counted across 14 company job boards, updated as roles open and close.

Preparing for this interview

Interviews for verification roles keep coming back to Python, Perl, C++. Practise those questions before you sit with Nvidia.

Questions you are likely to be asked

  1. Why do you want to join Nvidia?
  2. How would you design an API for a feature you have worked on?
  3. What do you do when a production issue happens on your code?
  4. Walk me through a system you built. How was it designed, and what would you change now?
  5. Tell me about a hard bug you tracked down. How did you find the cause?

Prep Sarthi gives you a free mock interview: an AI interviewer asks you questions like these out loud, from your own CV and this job, and shows your score and your weakest answer.

Practise the Senior Formal Verification Engineer at Nvidia interview free →

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.

Match this job to your CV

ApplySarthi scores your CV against this role, shows the skills you are missing, and writes a tailored version for the application.

Check my match →

Similar open roles

Need answers during your interview? Try Live Sarthi.

Live Sarthi, an Interview Sarthi app, shows answer suggestions during the call.

Try Live Sarthi free →

A Windows app, from the same team as ApplySarthi.

Listed on workday · posted 2026-10-12. ApplySarthi collects openings and links to application pages; the role is advertised by Nvidia, not by us.