# Formal Verification Engineer

**Company**: NVIDIA
**Location**: Bangalore
**Work arrangement**: onsite
**Experience**: senior
**Job type**: full-time
**Category**: Engineering
**Industry**: Technology

**Apply**: https://nvidia.wd5.myworkdayjobs.com/en-US/NVIDIAExternalCareerSite/job/India-Bengaluru/Formal-Verification-Engineer_JR2025305?utm_source=yubhub.co&utm_medium=jobs_feed&utm_campaign=apply
**Canonical**: https://yubhub.co/jobs/job_ff4d68f9-cb9

## Description

We are currently seeking an experienced Formal Verification Engineer with strong CPU/GPU and verification fundamentals to work in NVIDIA's Central Formal team based in Bangalore.

As a Formal Verification Engineer, you will craft and optimize formal verification flows across CPU/GPU projects, resolve tool issues for design teams with tool vendors, and verify micro-architecture using formal verification tools.

**Responsibilities:**

- Specify, implement, and maintain an integrated end-to-end formal verification flow for the formal verification team.

- Develop scripts to automate the verification process.

- Review formal setups and proofs with design and verification teams.

- Maintain and extend assertion libraries, including support for both simulation and FV.

- Identify key behaviors for verification of DUT and create a verification plan.

- Develop verification environment including environment assumptions, assertions, and cover properties in context of the verification plan.

- Apply various FV techniques to prove correctness of digital designs.

- Debug RTL to identify causes of failure scenarios.

**Requirements:**

- Bachelor's/Master's in Electronics & Communications or Computer Science or Electrical Engineering from a reputed engineering college.

- Minimum 2+ years of industry experience on formal techniques for verification.

- Strong analytical skills to tackle hard problems.

- Excellent command of scripting.

- Strong knowledge of architectures of CPU designs and digital logic.

- Good understanding of abstraction techniques for effective verification.

- Hands-on experience with HDLs such as Verilog/System Verilog.

- Understanding of temporal logic assertions.

- Preferable experience with a variety of Formal Verification Tools.

- Strong communication skills are required along with the ability to work in a dynamic product-oriented team and collaborate effectively across sites.

**Nice to Have:**

- Worked on various pieces of CPU/GPU unit/microarchitecture verification.

- Background with complex verification projects that had used formal techniques for closure.

- Experience of collaborating with geographically diverse cross-functional teams.

- A history of mentoring junior engineers and interns.

## Skills

### Required
- Formal Verification
- CPU/GPU
- Verification Fundamentals
- Scripting
- HDLs
- Digital Logic
- Abstraction Techniques

### Nice to have
- CPU/GPU unit/microarchitecture verification
- Complex verification projects
- Formal Verification Tools
- Mentoring junior engineers

---

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