Senior Formal Verification Engineer

Nvidia

Confirmed live today High trust

Quick summary

Work type: On-site
Location: Santa Clara, CA
Employment: Full-time
Posted: 106 days ago
Freshness: Confirmed live today
Nearby: 99+ roles within 25 mi

Market check

Salary context

How this pay compares to similar roles

Similar $202k

$140k most similar roles pay here $245k

This listing doesn't post a salary. Most similar roles pay $177,237–$225,850.

Based on 240 similar postings.

Employer

About Nvidia

Nvidia is a leading designer of graphics processing units (GPUs) and system-on-chip units, powering gaming, professional visualization, data centers, and artificial intelligence workloads. Industry: Semiconductors & AI Computing

Nvidia currently has 1404 open roles on FindRole.

Listed pay typically runs $184,000–$287,500 across 1052 roles with salary data.

Most-posted roles

View all roles at Nvidia

At a glance

TL;DR · Senior Formal Verification Engineer

Role Posting Log in to save

As a Senior Formal Verification Engineer, you will join the team to verify the build and implementation of industry-leading GPUs. Your daily responsibilities involve verifying micro-architecture using formal verification tools, defining verification scopes, ensuring correctness, and developing abstraction models to overcome complexity challenges. You will write testplans for sophisticated designs, implement environment assumptions, assertions, and cover properties, while debugging RTL to identify failure scenarios. The role requires expertise in Verilog and SystemVerilog HDLs, as well as proficiency in scripting languages like TCL, Perl, and Python. You must possess a deep understanding of GPU and CPU architectures and formal verification methodologies. This position focuses on the technical challenge of ensuring hardware correctness through sophisticated formal techniques throughout the entire project cycle to ensure high-quality results for complex integrated circuits.

Skills

Formal Verification System Verilog Verilog RTL Python TCL Perl CPU Architecture Assertion Scripting Post-silicon Verification

What you'll do

Verify GPU micro-architecture using formal verification tools to ensure design correctness.
Define verification scopes and write clear testplans for sophisticated designs.
Implement testplans using advanced techniques including environment assumptions, assertions, and cover properties.
Develop abstraction models to overcome complexity challenges and achieve full or bounded proofs.
Optimize the performance of formal verification tools throughout the project cycle.
Debug RTL code to identify and resolve specific failure scenarios.
Develop flows and scripts to improve overall team efficiency.
Communicate formal verification coverage results clearly to internal partners.

What we're looking for

BS/MS/PhD or equivalent experience in CS, CE, EE, or Mathematics with 5+ years of experience.
Understanding of GPU/CPU architectures and engineering work flows.
Experience with Verilog and SystemVerilog HDLs to understand sophisticated RTL quickly.
Experience with formal tools and knowledge of formal verification methodologies.
Ability to implement abstraction techniques for effective verification.
Strong analytical skills to tackle sophisticated problems.
Excellent command of scripting using TCL, Perl, and/or Python.
Excellent written and verbal communication skills.