Senior Formal Verification Engineer

Nvidia Corporation

Bengaluru, India
On-site
Formal verification methodology
Advanced property proving techniques
Formal verification testbenches
As a Formal Verification Engineer at NVIDIA, you will be responsible for formally verifying complex designs

Job Summary

  • As a Formal Verification Engineer at NVIDIA, you will be responsible for formally verifying complex designs.
  • The job involves very close interaction with the design team, architecture team, with other validation teams, and with NVIDIA's internal FV R&D group.
  • With competitive salaries and a generous benefits package, NVIDIA is widely considered to be one of the most desirable employers in the world.

Matching Summary

As a Formal Verification Engineer at NVIDIA, you will be responsible for formally verifying complex designs.

Skills & Requirements

Must-have

  • Formal verification methodology
  • Advanced property proving techniques
  • Formal verification testbenches
  • Code assertions and constraints
  • Formal coverage techniques
  • Vendor and internally developed formal tools

Nice-to-have

  • Good debugging and problem solving skills
  • Scripting knowledge (Python/Perl/shell)
  • Good interpersonal and communication skills
  • Team member

Key Requirements

  • B.Tech./ M.Tech. with 5+ years of experience
  • Good understanding of hardware micro-architecture and design
  • Conversant with formal verification technologies
  • Formal property verification experience on multiple complex units
  • Proficiency in creating high quality testplans
  • Root-causing counter-examples

Work Rights

Not specified

Tailored Resume

Cover Letter