# Formal Verification Engineer

**Company**: NVIDIA
**Category**: Engineering
**Industry**: Technology

**Apply**: https://nvidia.wd5.myworkdayjobs.com/en-US/NVIDIAExternalCareerSite/job/Hungary-Budapest/Formal-Verification-Engineer---New-College-Graduate_JR2008771?utm_source=yubhub.co&utm_medium=jobs_feed&utm_campaign=apply
**Canonical**: https://yubhub.co/jobs/job_c96ff8df-b40

## Description

We are looking for a Formal Verification Engineer within our Hardware team!

As a Formal Verification Engineer at NVIDIA, you will verify the design and implementation of the industry's leading GPUs.

**What you will be doing:**

- Use formal verification algorithms to formally prove the correctness of complicated logic problems.

- Identify key behaviors for verification to write clear testplans for complex designs.

- Implement testplans using innovative formal techniques.

- Drive tools to realize their best performance.

- Develop flow and script to automate and improve team efficiency.

- Collaborate with other teams to help produce bug-free, outstanding silicon products.

**What we need to see:**

- BS/MS/Ph.D. or equivalent experience in CS/CE/EE/Mathematics

- Strong analytical and collaboration skills to solve complex problems.

- Strong coding skills in C, Perl, Python or any other industry-standard scripting languages

- Good debugging skills

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

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

- Knowledge of formal verification methodologies, techniques and tools like Jasper.

- Hands-on experience with Verilog/System Verilog HDLs, SVA assertions, and able to understand complex RTL code quickly.

With competitive salaries and a generous benefits package, we are widely considered to be one of the technology world's most desirable employers.

## Skills

### Required
- C
- Perl
- Python
- Verilog
- System Verilog
- SVA assertions
- formal verification
- debugging
- communication

### Nice to have
- Jasper
- formal verification methodologies

---

Source: [Apply at nvidia.wd5.myworkdayjobs.com](https://nvidia.wd5.myworkdayjobs.com/en-US/NVIDIAExternalCareerSite/job/Hungary-Budapest/Formal-Verification-Engineer---New-College-Graduate_JR2008771?utm_source=yubhub.co&utm_medium=jobs_feed&utm_campaign=apply)