Senior Formal Verification Engineer at NVIDIA

Santa Clara, California, United States

Apply Now

Not SpecifiedCompensation

Senior (5 to 8 years)Experience Level

Full TimeJob Type

UnknownVisa

Semiconductors, AI, Computer GraphicsIndustries

Requirements

BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics with 6+ years of experience
Understanding of GPU/CPU architectures and engineering workflows
Experience with Verilog / System Verilog HDLs and able to understand sophisticated RTL quickly
Experience with formal tools and knowledge of formal verification methodologies
Able 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
Able to optimally collaborate and work in a distributed team

Responsibilities

Identify key behaviors for verification to write clear testplans for sophisticated designs
Implement testplans using the latest formal techniques, including the development of environment assumptions, assertions, and cover properties
Develop abstraction models to overcome complexity challenges and acquire full proofs, or bounded proofs with sufficient coverage
Drive formal tools to realize their best performance
Debug RTL to identify causes of failure scenarios
Contribute to flow and script development to improve team efficiency
Articulate formal verification coverage to partners
Verify the micro-architecture using formal verification tools, define the verification scope, and ensure correctness
Employ sophisticated formal techniques to acquire sufficiently bounded proofs while working with architects, designers, and pre- & post-silicon verification teams
Efficiently complete the formal verification effort for the entire project cycle, delivering high-quality results on schedule, and clearly conveying those results to the team

Skills

Key technologies and capabilities for this role

Formal VerificationRTLAssertionsCover PropertiesAbstraction ModelsSystemVerilogJasperGoldABCYosysMicro-architectureGPU Design

Questions & Answers

Common questions about this position

What is the salary for this Senior Formal Verification Engineer position?

Your base salary will be determined based on your location, experience, and the pay of employees in similar positions. NVIDIA offers highly competitive salaries.

What benefits does NVIDIA offer?

NVIDIA offers a comprehensive benefits package. More details can be found at www.nvidiabenefits.com.

Is this role remote or does it require working in an office?

This information is not specified in the job description.

What skills and experience are required for this position?

Candidates need a BS/MS/PhD in CS/CE/EE/Mathematics with 6+ years of experience, understanding of GPU/CPU architectures, experience with Verilog/SystemVerilog HDLs, formal tools and methodologies, abstraction techniques, strong analytical skills, scripting in TCL/Perl/Python, and excellent communication for distributed team collaboration.

What is the company culture like at NVIDIA?

NVIDIA provides a diverse, supportive environment where everyone is inspired to do their best work, fueled by innovation and amazing people.

NVIDIA

Designs GPUs and AI computing solutions

About NVIDIA

NVIDIA designs and manufactures graphics processing units (GPUs) and system on a chip units (SoCs) for various markets, including gaming, professional visualization, data centers, and automotive. Their products include GPUs tailored for gaming and professional use, as well as platforms for artificial intelligence (AI) and high-performance computing (HPC) that cater to developers, data scientists, and IT administrators. NVIDIA generates revenue through the sale of hardware, software solutions, and cloud-based services, such as NVIDIA CloudXR and NGC, which enhance experiences in AI, machine learning, and computer vision. What sets NVIDIA apart from competitors is its strong focus on research and development, allowing it to maintain a leadership position in a competitive market. The company's goal is to drive innovation and provide advanced solutions that meet the needs of a diverse clientele, including gamers, researchers, and enterprises.

Santa Clara, CaliforniaHeadquarters

1993Year Founded

$19.5MTotal Funding

IPOCompany Stage

Automotive & Transportation, Enterprise Software, AI & Machine Learning, GamingIndustries

10,001+Employees

Benefits

Company Equity

401(k) Company Match

Risks

Increased competition from AI startups like xAI could challenge NVIDIA's market position.

Serve Robotics' expansion may divert resources from NVIDIA's core GPU and AI businesses.

Integration of VinBrain may pose challenges and distract from NVIDIA's primary operations.

Differentiation

NVIDIA leads in AI and HPC solutions with cutting-edge GPU technology.

The company excels in diverse markets, including gaming, data centers, and autonomous vehicles.

NVIDIA's cloud services, like CloudXR, offer scalable solutions for AI and machine learning.

Upsides

Acquisition of VinBrain enhances NVIDIA's AI capabilities in the healthcare sector.

Investment in Nebius Group boosts NVIDIA's AI infrastructure and cloud platform offerings.

Serve Robotics' expansion, backed by NVIDIA, highlights growth in autonomous delivery services.

Land your dream remote job 3x faster with AI

Try Jobo Free