# Senior Formal Verification Engineer

**Company**: NVIDIA
**Location**: Santa Clara, CA
**Experience**: senior
**Job type**: full-time
**Category**: Engineering
**Industry**: Technology

**Apply**: https://nvidia.wd5.myworkdayjobs.com/en-US/NVIDIAExternalCareerSite/job/US-CA-Santa-Clara/Senior-Formal-Verification-Engineer_JR2019948?utm_source=yubhub.co&utm_medium=jobs_feed&utm_campaign=apply
**Canonical**: https://yubhub.co/jobs/job_271e51e1-18b

## Description

As a Senior Formal Verification Engineer at NVIDIA, you will verify the build and implementation of the industry's leading GPUs. Your responsibilities will include verifying the micro-architecture using formal verification tools, defining the verification scope, and ensuring correctness.

You will employ sophisticated formal techniques to acquire sufficiently bounded proofs while working with architects, designers, and pre- & post-silicon verification teams. You will 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.

**Key Responsibilities:**

- Identify key behaviours for verification to write clear test plans for sophisticated designs.

- Implement test plans 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 realise 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.

**Requirements:**

- BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics with 5+ 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!

You will also be eligible for equity and benefits.

## Skills

### Required
- Formal Verification
- GPU/CPU Architectures
- Verilog/System Verilog HDLs
- Formal Tools
- Abstraction Techniques
- Analytical Skills
- Scripting (TCL, Perl, Python)
- Communication

---

Source: [Apply at nvidia.wd5.myworkdayjobs.com](https://nvidia.wd5.myworkdayjobs.com/en-US/NVIDIAExternalCareerSite/job/US-CA-Santa-Clara/Senior-Formal-Verification-Engineer_JR2019948?utm_source=yubhub.co&utm_medium=jobs_feed&utm_campaign=apply)