Formal Verification Engineer

3 Months ago • 2 Years + • Research & Development

Job Summary

Job Description

NVIDIA seeks an elite Formal Verification Engineer to verify designs for leading SoCs and GPUs. Responsibilities include deciding on formal verification applications, reviewing specifications, creating test plans, building testbenches, applying abstraction techniques, and using formal coverage techniques. Close collaboration with design, architecture, and validation teams is required. The role involves working with both vendor and internally developed formal tools, applying advanced property proving techniques, and root-causing counter-examples. The ideal candidate possesses strong understanding of hardware micro-architecture and design, formal verification technologies, and experience in complex unit verification.
Must have:
  • B.Tech/M.Tech or equivalent
  • 2+ years relevant experience
  • Hardware micro-architecture understanding
  • Formal verification expertise
  • Testplan creation & testbench building
  • Counter-example root causing
Good to have:
  • Scripting (Python/Perl/shell)
  • Excellent communication skills
  • Teamwork abilities
Perks:
  • Competitive salary
  • Generous benefits package

Job Details

NVIDIA is seeking an elite Formal Verification Engineer to verify the design and implementation of the design units for the world’s leading SoCs and GPUs. This position offers the opportunity to have real impact in a dynamic, 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. At NVIDIA, our employees are passionate about parallel and visual computing. We're united in our quest to transform the way graphics are used to solve some of the most complex problems in computer science.

The GPU started out as an engine for simulating human imagination, conjuring up the amazing virtual worlds of video games and Hollywood films. Today, NVIDIA’s GPU simulates human intelligence, running deep learning algorithms and acting as the brain of computers, robots, and self-driving cars that can perceive and understand the world. NVIDIA is increasingly known as “the AI computing company.”As a Formal Verification Engineer at Nvidia, you will be responsible for formally verifying complex designs. NVIDIA has developed a strong functional formal verification methodology that not only enables hardware design and verification engineers to use lightweight FV tools and techniques successfully but also allows FV engineers to use advanced property proving techniques on complex and/or critical RTL logic. The job involves very close interaction with the design team, architecture team, with other validation teams, and with Nvidia's internal FV R&D group that develops functional verification tools using formal verification technology.

What you'll be doing:

  • You will help decide on the best applications of formal verification techniques to various parts of the design.

  • You will review functional and micro-architectural specifications, define the scope for formal verification, and create high-quality formal verification testplans to sign-off on the corresponding design implementation.

  • You will build formal verification testbenches, code assertions and constraints, and apply abstraction techniques to converge the targeted properties or to achieve reasonable proof-depth.

  • You will apply formal coverage techniques for analyzing over-constraints and for measuring functional coverage.

  • You will design and develop functional verification flows that involve both vendor and internally developed formal tools.

What we need to see:

  • B.Tech./ M.Tech or equivalent experience with 2+ years of relevant experience.

  • Good understanding of hardware micro-architecture and design.

  • Conversant with formal verification technologies, including complexity reduction techniques.

  • Formal property verification experience on multiple complex units.

  • Proficiency in creating high quality testplans, building formal testbenches, and root-causing counter-examples.

Ways to stand out from the crowd:

  • Good debugging and problem solving skills

  • Scripting knowledge (Python/Perl/shell)

  • Good interpersonal and communication skills and dream to work as a great team member

With competitive salaries and a generous benefits package, Nvidia is widely considered to be one of the most desirable employers in the world. We have some of the most brilliant and talented people in the world working for us. If you are creative, autonomous and love a challenge, we want to hear from you. We are an equal opportunity employer and value diversity at our company. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status.

Similar Jobs

HiLabs - Sr. DevOps Engineer

HiLabs

Pune, Maharashtra, India (On-Site)
7 Months ago
ByteDance - Principal Site Reliability Engineer, CDN

ByteDance

Singapore (On-Site)
6 Months ago
Rackspace Technology - Site Reliability Engineer / Observability Engineer

Rackspace Technology

India (Remote)
2 Months ago
Matic Robots - Systems Engineer (Rust)

Matic Robots

Mountain View, California, United States (On-Site)
6 Months ago
Luxoft - Murex Back Office/MxML Consultant

Luxoft

Singapore, Singapore (On-Site)
4 Months ago
NVIDIA - Senior GPU Cluster Software Engineer

NVIDIA

Shanghai, Shanghai, China (On-Site)
3 Months ago
ByteDance - Senior Machine Learning Ops Engineer, ML System

ByteDance

San Jose, California, United States (On-Site)
5 Months ago
Riot Games - Staff Software Engineer, Unreal Tools - MMO

Riot Games

Dublin, County Dublin, Ireland (On-Site)
5 Months ago
Cirrus Logic - Senior Software Engineer - Windows Device Drivers (JM-211)

Cirrus Logic

Austin, Texas, United States (Hybrid)
6 Months ago
Intel Corporation - Senior Microarchitect - Memory Coherency Fabric Systems

Intel Corporation

Santa Clara, California, United States (Hybrid)
4 Months ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

The Walt Disney Company - IT Intern (Summer 2025)

The Walt Disney Company

Vancouver, British Columbia, Canada (On-Site)
4 Months ago
DEVOTEAM - Ingénieur Système (H/F)

DEVOTEAM

Cesson-Sévigné, Brittany, France (On-Site)
5 Months ago
Nielsen Holdings - Technical Support Engineer

Nielsen Holdings

Gurugram, Haryana, India (Hybrid)
4 Months ago
Warner Bros Games - Staff Software Engineer - DevOps

Warner Bros Games

Bengaluru, Karnataka, India (Hybrid)
1 Month ago
The Embassy - Pipeline Developer

The Embassy

Vancouver, British Columbia, Canada (Hybrid)
2 Months ago
Luxoft - Java Developer with React JS

Luxoft

Bengaluru, Karnataka, India (On-Site)
5 Months ago
Epic Games - Senior DevOps Programmer

Epic Games

London, England, United Kingdom (On-Site)
2 Months ago
ByteDance - Site Reliability Engineer, Edge Services

ByteDance

San Jose, California, United States (On-Site)
5 Months ago

Get notifed when new similar jobs are uploaded

Jobs in Bengaluru, Karnataka, India

GoTo Group - Head of Engineering - Transport

GoTo Group

Bengaluru, Karnataka, India (On-Site)
6 Months ago
PhonePe - Internal Controls  - Manager

PhonePe

Bengaluru, Karnataka, India (On-Site)
5 Months ago
PhonePe - Financial Analyst/Associate Manager, Account Receivables

PhonePe

Bengaluru, Karnataka, India (On-Site)
5 Months ago
Velotio Technologies - Infrastructure Architect

Velotio Technologies

Maharashtra, India (Remote)
1 Month ago
Interactive Brokers - Software Engineer - Java

Interactive Brokers

Mumbai, Maharashtra, India (Hybrid)
6 Months ago
Luminar Technologies - Product Security Lead

Luminar Technologies

Bengaluru, Karnataka, India (On-Site)
5 Months ago
STAGE - Poster Designer

STAGE

Noida, Uttar Pradesh, India (On-Site)
3 Months ago
PwC - IN_Senior Associate_Agile PM_Advisory Corporate_Advisory_Pune

PwC

Pune, Maharashtra, India (On-Site)
6 Months ago
Brillio - Client Partner - Retail - R01542654

Brillio

Bengaluru, Karnataka, India (Hybrid)
6 Months ago
DNEG - Production Manager/Coordinator/Assistant

DNEG

Mumbai, Maharashtra, India (On-Site)
2 Months ago

Get notifed when new similar jobs are uploaded

Research & Development Jobs

NVIDIA - Senior Technical Instructor - AI and Data Center Infrastructure

NVIDIA

United Kingdom (Remote)
1 Month ago
Fluence - Controls Software Engineer-II(m/f/d)

Fluence

Erlangen, Bavaria, Germany (Hybrid)
6 Months ago
NVIDIA - Interconnect Failure Analysis Hardware Engineer

NVIDIA

Yokne'am Illit, North District, Israel (On-Site)
3 Months ago
ByteDance - Tech Lead, Camera Algorithms Engineer

ByteDance

San Jose, California, United States (On-Site)
2 Months ago
Assystems - Lead Electrical Engineer (LV/HT/ELV)

Assystems

Gurugram, Haryana, India (On-Site)
5 Months ago
Assystems - Middle Level Marine Structural Engineer

Assystems

Chennai, Tamil Nadu, India (On-Site)
5 Months ago
Microsoft - Silicon Engineering: Internship Opportunities

Microsoft

Penang, Malaysia (On-Site)
4 Months ago
Corsair - Senior Hardware Development Engineer

Corsair

Taipei City, Taiwan (On-Site)
2 Months ago
NVIDIA - Senior Post Silicon Hardware Engineer

NVIDIA

Canada (Hybrid)
1 Month ago
Intel Corporation - Consumer IO IP Logic Design Engineer

Intel Corporation

Penang, Malaysia (Hybrid)
4 Months ago

Get notifed when new similar jobs are uploaded

About The Company

Since its founding in 1993, NVIDIA (NASDAQ: NVDA) has been a pioneer in accelerated computing. The company’s invention of the GPU in 1999 sparked the growth of the PC gaming market, redefined computer graphics, ignited the era of modern AI and is fueling the creation of the metaverse. NVIDIA is now a full-stack computing company with data-center-scale offerings that are reshaping industry.

Santa Clara, California, United States (On-Site)

Santa Clara, California, United States (On-Site)

Santa Clara, California, United States (On-Site)

Yokne'am Illit, North District, Israel (On-Site)

Yokne'am Illit, North District, Israel (On-Site)

Yokne'am Illit, North District, Israel (On-Site)

Yokne'am Illit, North District, Israel (On-Site)

Santa Clara, California, United States (On-Site)

Santa Clara, California, United States (On-Site)

View All Jobs

Get notified when new jobs are added by NVIDIA

Level Up Your Career in Game Development!

Transform Your Passion into Profession with Our Comprehensive Courses for Aspiring Game Developers.

Job Common Plug