Senior Formal Verification Engineer

2 Months ago • 5 Years + • Research & Development

Job Summary

Job Description

As a Senior Formal Verification Engineer at NVIDIA, you'll be responsible for formally verifying complex designs, collaborating closely with design, architecture, and validation teams. Responsibilities include deciding on the best formal verification techniques, reviewing specifications, creating test plans, building testbenches, applying abstraction techniques, using formal coverage analysis, and developing verification flows using both vendor and internally developed tools. The role requires proficiency in formal verification technologies, hardware micro-architecture, and creating high-quality test plans and testbenches.
Must have:
  • 5+ years relevant experience
  • Hardware micro-architecture understanding
  • Formal verification expertise
  • Test plan & testbench creation
  • Root-causing counter-examples
Good to have:
  • Debugging & problem-solving skills
  • Scripting (Python/Perl/shell)
  • Excellent communication skills
  • Teamwork abilities
Perks:
  • Competitive salary
  • Generous benefits package

Job Details

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!

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.

  • 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.

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

  • Apply formal coverage techniques for analyzing over-constraints and for measuring functional coverage.

  • Design and develop functional verification flows that involve both vendor and internally developed formal tools.

What we need to see:

  • B.Tech./ M.Tech. with 5+ 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.

#LI-Hybrid 

Similar Jobs

Luxoft - Murex Datamart Production Support

Luxoft

Hyderabad, Telangana, India (On-Site)
6 Months ago
Paytm - Devops - Senior DevOps Engineer

Paytm

Noida, Uttar Pradesh, India (On-Site)
7 Months ago
Google - Technical Program Manager II, Server Hall Design

Google

Dublin, County Dublin, Ireland (On-Site)
1 Month ago
NVIDIA - Performance Engineer Intern, Deep Learning and HPC

NVIDIA

Shanghai, Shanghai, China (On-Site)
3 Months ago
Activision - Senior Network Engineer

Activision

Vancouver, British Columbia, Canada (On-Site)
2 Months ago
NVIDIA - Senior Chip Design Engineer

NVIDIA

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
3 Months ago
Google - Silicon Architecture/Design Engineer

Google

Bengaluru, Karnataka, India (On-Site)
1 Month ago
NVIDIA - Senior Digital Design Verification Engineer - Hardware

NVIDIA

Hsinchu, Hsinchu City, Taiwan (Hybrid)
1 Month ago
NVIDIA - Senior Developer Technology Engineer, Public Sector

NVIDIA

Washington, District Of Columbia, United States (Remote)
2 Months ago
NVIDIA - Senior Physical Design Backend Engineer

NVIDIA

Tel Aviv-Yafo, Tel Aviv District, Israel (Hybrid)
3 Months ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

ByteDance - Software Engineer, ML System Architecture

ByteDance

Seattle, Washington, United States (On-Site)
6 Months ago
ByteDance - Security Operation Engineer, Security Assurance

ByteDance

Singapore (On-Site)
3 Months ago
Garena - Game System Operation Engineer

Garena

Taipei City, Taiwan (On-Site)
1 Month ago
Epic Games - Senior DevOps Engineer

Epic Games

(On-Site)
1 Month ago
ION - Senior Technical Support Analyst, Jersey City - 7537

ION

Jersey City, New Jersey, United States (On-Site)
7 Months ago
Zeta - Sr. Site Reliability Engineer

Zeta

Bengaluru, Karnataka, India (On-Site)
7 Months ago
Epic Games - Build Engineer, Fortnite

Epic Games

(On-Site)
3 Months ago
The Workshop - Data Software Engineer

The Workshop

Málaga, Andalusia, Spain (Hybrid)
9 Months ago
Google - Chip Infrastructure Engineer

Google

Haifa, Haifa District, Israel (On-Site)
1 Month ago
CloudLinux - Senior Go Developer for CloudLinuxOS

CloudLinux

Vojvodina, Serbia (Remote)
1 Month ago

Get notifed when new similar jobs are uploaded

Jobs in Bengaluru, Karnataka, India

Mayhem Studios - QA Engineer I - Automation

Mayhem Studios

Bengaluru, Karnataka, India (On-Site)
2 Months ago
InMobiInMobi - Senior Analyst - Revenue / Growth Analytics

InMobiInMobi

Bengaluru, Karnataka, India (On-Site)
1 Month ago
PwC - IN_Associate_ CA_Enterprise APP SAP_ Advisory _Mumbai

PwC

Mumbai, Maharashtra, India (On-Site)
4 Months ago
Revenera - Senior Site Reliability Engineer

Revenera

Bengaluru, Karnataka, India (Hybrid)
7 Months ago
Paytm - Product Design - Assistant Product Designer - App Team

Paytm

Noida, Uttar Pradesh, India (On-Site)
6 Months ago
Framestore - SENIOR ANIMATOR

Framestore

Mumbai, Maharashtra, India (On-Site)
12 Months ago
Dolby Laboratories - AIOps Research Scientist

Dolby Laboratories

Bengaluru, Karnataka, India (Hybrid)
7 Months ago
Outscal - Product Operations (Gaming)

Outscal

Delhi, India (On-Site)
5 Months ago
Guardian Life - TechOps Engineer

Guardian Life

Gurugram, Haryana, India (On-Site)
8 Months ago
Nagarro - Principal Engineer, Java Fullstack

Nagarro

India (Remote)
7 Months ago

Get notifed when new similar jobs are uploaded

Research & Development Jobs

Google - Senior CPU Design Verification Engineer

Google

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
1 Month ago
Niantic - Senior Computer Vision Software Engineer

Niantic

London, England, United Kingdom (Hybrid)
3 Months ago
Niantic - Senior Computer Vision Software Engineer

Niantic

Bellevue, Washington, United States (Hybrid)
4 Months ago
Tesla - Algorithms Engineer, Autobidder (Electricity Markets/Energy Trading)

Tesla

North Holland, Netherlands (On-Site)
3 Months ago
Magnopus - Lead Engineer

Magnopus

St Albans, England, United Kingdom (On-Site)
4 Months ago
Nielsen Holdings - Manager, Software Engineer (Big Data)

Nielsen Holdings

Bengaluru, Karnataka, India (Hybrid)
7 Months ago
Meta - Research Scientist Intern, Machine Perception for Input and Interaction (PhD)

Meta

Burlingame, California, United States (On-Site)
6 Months ago
ByteDance - Interaction Technology Lead - Smart Wearable Devices- Pico Lab- San Jose

ByteDance

San Jose, California, United States (On-Site)
4 Months ago
ByteDance - Student Researcher (Doubao (Seed) - Machine Learning System) - 2025 Start (PhD)

ByteDance

San Jose, California, United States (On-Site)
7 Months ago
Google - ASIC Engineer, Devices and Services

Google

Bengaluru, Karnataka, India (On-Site)
1 Month 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)

Massachusetts, United States (On-Site)

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

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

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

Texas, United States (On-Site)

Santa Clara, California, United States (Hybrid)

Santa Clara, California, United States (Hybrid)

Pune, Maharashtra, India (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