Outscal Logooutscal logo

Senior Formal Verification Engineer

6 Days 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

The Walt Disney Company - Senior Systems Engineer, Data Services [Database Administration]

The Walt Disney Company

Burbank, California, United States (On-Site)
2 Months ago
Oriserve - Lead DevOps Engineer (5+ Yrs Exp)

Oriserve

Noida, Uttar Pradesh, India (On-Site)
4 Months ago
Luxoft - Senior .Net developer with AWS

Luxoft

Poland, Ohio, United States (Remote)
4 Months ago
ByteDance - Research Scientist in Foundation Model (Speech & Audio Generation) - 2025 Start (PhD)

ByteDance

Seattle, Washington, United States (On-Site)
4 Months ago
Saviynt - Consultant, Professional Services, IAM/IGA

Saviynt

Bengaluru, Karnataka, India (Hybrid)
5 Months ago
ByteDance - Research Engineer Graduate (Machine Learning Sys-US) - 2024 Start (PhD)

ByteDance

San Jose, California, United States (On-Site)
4 Months ago
NVIDIA - HPC Operations Manager – Hardware Engineering

NVIDIA

Westford, Massachusetts, United States (On-Site)
1 Month ago
NVIDIA - Senior System Power Management Engineer

NVIDIA

Canada (On-Site)
1 Month ago
DigitalFish - Research Scientist, Computer Vision

DigitalFish

California, United States (Hybrid)
7 Months ago
NVIDIA - System Software Engineer

NVIDIA

Bengaluru, Karnataka, India (On-Site)
4 Weeks ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

One of Us - Tools Developer

One of Us

London, England, United Kingdom (Hybrid)
2 Weeks ago
ByteDance - Design Verification Engineer - Multimedia Lab

ByteDance

San Jose, California, United States (On-Site)
4 Months ago
Nielsen Holdings - Technical Support Engineer

Nielsen Holdings

Gurugram, Haryana, India (Hybrid)
3 Months ago
ByteDance - Software Engineer, ML System Architecture

ByteDance

San Jose, California, United States (On-Site)
4 Months ago
ByteDance - Cloud Technical Support

ByteDance

Singapore (On-Site)
21 Hours ago
CleverTap - Senior Backend Engineer (Java & Mongo DB)

CleverTap

Mumbai, Maharashtra, India (Hybrid)
5 Months ago
ION - Principal Technical Consultant - Endur

ION

Berlin, Berlin, Germany (On-Site)
5 Months ago
ByteDance - SRE and DevOps Tech Lead - Edge Cloud Infrastructure - London

ByteDance

London, England, United Kingdom (On-Site)
4 Months ago
The Walt Disney Company - Senior Systems Engineer, Data Services [Database Administration]

The Walt Disney Company

Vancouver, British Columbia, Canada (On-Site)
4 Months ago

Get notifed when new similar jobs are uploaded

Jobs in Bengaluru, Karnataka, India

NVIDIA - Senior Tools Development Engineer

NVIDIA

Pune, Maharashtra, India (On-Site)
1 Week ago
Paytm - Product Management- Business Operations Manager

Paytm

Noida, Uttar Pradesh, India (On-Site)
3 Months ago
SparkCognition - Data Scientist

SparkCognition

Bengaluru, Karnataka, India (On-Site)
6 Months ago
CloudHire - Full Stack Developer

CloudHire

Telangana, India (Remote)
6 Days ago
Deutsche Bank - BM Analyst

Deutsche Bank

Mumbai, Maharashtra, India (On-Site)
5 Months ago
Paytm - Data Privacy (Compliance) - Deputy Manager

Paytm

Noida, Uttar Pradesh, India (On-Site)
4 Months ago
InMobiInMobi - Senior Manager - Functional Training

InMobiInMobi

Bengaluru, Karnataka, India (On-Site)
1 Month ago
PwC - Senior Associate_Snowflake Developer_Data &Analytics_Advisory_PAN  India

PwC

Bengaluru, Karnataka, India (On-Site)
5 Months ago
CloudHire - Sr React Developer

CloudHire

Karnataka, India (Remote)
1 Week ago
Nagarro - Associate Staff Engineer, Mobile Cross Platform

Nagarro

India (Remote)
5 Months ago

Get notifed when new similar jobs are uploaded

Research & Development Jobs

Cadence - Design Engineering Manager

Cadence

Bengaluru, Karnataka, India (On-Site)
6 Months ago
NVIDIA - Senior Mixed Signal and Analog Circuit Designer

NVIDIA

Hsinchu, Hsinchu City, Taiwan (On-Site)
1 Week ago
NVIDIA - Silicon Performance, Power and Binning Tools Engineer

NVIDIA

Shanghai, Shanghai, China (On-Site)
2 Weeks ago
NVIDIA - Senior CUDA Compute Systems Software Engineer

NVIDIA

Canada (On-Site)
1 Month ago
Rivos - Silicon DFT - Full time

Rivos

Bengaluru, Karnataka, India (Hybrid)
5 Months ago
Netflix - Senior Researcher - Netflix Experiences

Netflix

Los Gatos, California, United States (On-Site)
4 Months ago
NVIDIA - Silicon Validation Engineer (RDSS Intern)

NVIDIA

Taipei City, Taiwan (On-Site)
2 Months ago
NVIDIA - Senior Circuit Characterization Engineer

NVIDIA

Canada (Hybrid)
2 Weeks ago
Match Group - Staff Software Engineer, Machine Learning

Match Group

Palo Alto, California, United States (Hybrid)
5 Months ago
Zoox - Software Systems Engineer - Software Health and Complexity

Zoox

Foster City, California, United States (Hybrid)
5 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.


Hsinchu, Hsinchu City, Taiwan (On-Site)

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

Seoul, South Korea (Hybrid)

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)

Ra'anana, Center District, Israel (On-Site)

Shanghai, Shanghai, China (On-Site)

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)

Be'er Sheva, South 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