Formal Verification Engineer
NVIDIA AI · Gurgaon
- Experience2–3 yrs
- SalaryNot disclosed
- Work modeonsite
- Levelmid
- Posted9 Sept 2026
About NVIDIA AI
NVIDIA AI is hiring in Gurgaon in semiconductors electronics. This role looks for around 2+ years of experience.
Skills
- Formal Verification
- C
- Python
- Perl
- Tcl
The role
A formal verification engineer at a semiconductor technology company proves hardware correctness through Formal Verification and develops verification testplans with C, Python, Perl, and Tcl. Formal Verification and hardware verification expertise support reliable IP and SoC design validation.
Full job description
Job Requisition ID JR2025192
Job Category Engineering
Time Type Full time
NVIDIA has continuously reinvented itself. Our invention of the GPU sparked the growth of the PC gaming market, redefined modern computer graphics, and revolutionized parallel computing. Today, research in artificial intelligence is booming worldwide, which calls for highly scalable and massively parallel computation horsepower that NVIDIA GPUs excel.
NVIDIA is a “learning machine” that constantly evolves by adapting to new opportunities that are hard to solve, that only we can address, and that matter to the world. This is our life’s work , to amplify human creativity and intelligence. As an NVIDIAN, you’ll be immersed in a diverse, supportive environment where everyone is inspired to do their best work. Come join our diverse team and see how you can make a lasting impact on the world!
We need passionate, hard-working, and creative people to help us take on some of these once-in-a-lifetime opportunities. This position offers the opportunity to have real impact in a progressive, technology-focused company impacting product lines ranging from consumer graphics to self-driving cars and the growing field of artificial intelligence. We have crafted a team of outstanding people stretching around the globe, whose mission is to push the frontiers of what is possible today and define the platform for the future of computing. NVIDIA is seeking Formal Verification Engineers for our Hardware Engineering team.
What You’ll Be Doing
Prove correctness of design blocks, IPs and SoC components using Formal Verification methodsPrepare testplans and implement them using Formal verification techniquesExperiment with Formal tools and flows to drive performance and quality of resultsCollaborate with other members of the design and verification teams to successfully meet verification goals
What We Need To See
B.Tech. / M.Tech. in Electrical Engineering, Computer Science or related fields with 2+ years of relevant experienceStrong analytical skills to tackle complex problemsStrong coding skills in industry-standard scripting or programming languages such as C, Python, Perl or TclAbility to communicate effectively and collaborate in a globally distributed team