# Formal Verification Engineer

**Company**: NVIDIA
**Location**: Shanghai
**Experience**: senior
**Job type**: full-time
**Category**: Engineering
**Industry**: Technology

**Apply**: https://nvidia.wd5.myworkdayjobs.com/en-US/NVIDIAExternalCareerSite/job/China-Shanghai/Formal-Verification-Engineer_JR2023912?utm_source=yubhub.co&utm_medium=jobs_feed&utm_campaign=apply
**Canonical**: https://yubhub.co/jobs/job_0556718d-03e

## Description

The NVIDIA GPU clocks group is looking for excellent Senior Formal Verification engineers to join the team. The Team is responsible for crafting all aspects of GPU clocking.

**What you'll be doing:**

- Understand key design behaviors from formal verification view to write clear test plans, and implement them using the latest formal techniques, including the development of environment assumptions, assertions and cover properties.

- Develop abstraction models to overcome complexity challenges and obtain full proofs, or bounded proofs with sufficient coverage.

- Debug RTL to identify causes of failure scenarios and finish coverage sign-off.

- Drive tools to realize their best performance.

- Contribute to flow and script development to improve team efficiency.

- Work with architects, designers and others to guarantee good deliverable quality.

**What we need to see:**

- BS / MS in CS/CE/EE/Mathematics and related with 3+ years of ASIC verification experience.

- Knowledge of formal verification methodologies and techniques, preferable experience with Formal Verification Tools (e.g. Jasper Gold, VC Formal).

- Able to implement abstraction techniques for effective verification.

- Excellent command of scripting using TCL, Perl, and Python.

- Familiar with verification methodology, tools and flow in Unit/Sub-system/SOC level.

- Excellent interpersonal skills, able to effectively collaborate and work with members of a distributed team.

**Ways to stand out from the crowd:**

- Excellent analytical and problem-solving skills, quick understanding to complex design or experience in different verification methodologies is plus.

- Strong prior knowledge/experience in different protocols/data transmission verification is plus.

- Fluent English (both written and spoken) and excellent communication skills.

- Good teamwork spirit, easy to cooperate with team members.

## Skills

### Required
- ASIC verification
- Formal Verification
- Jasper Gold
- VC Formal
- TCL
- Perl
- Python

### Nice to have
- analytical and problem-solving skills
- protocols/data transmission verification
- Fluent English

---

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