Senior Formal Verification Engineer

Invidia

Bengaluru, India
Hybrid
Formal verification technologies
Hardware micro-architecture understanding
Formal property verification experience
NVIDIA is a learning machine that constantly evolves by adapting to new opportunities that are hard to solve and that matter to the world

Job Summary

  • NVIDIA is a learning machine that constantly evolves by adapting to new opportunities that are hard to solve and that matter to the world.
  • As a Formal Verification Engineer, you will work closely with design, architecture, validation teams, and internal FV R&D to verify complex RTL logic.
  • NVIDIA offers competitive salaries, a generous benefits package, and values diversity and equal opportunity in its workforce.

Matching Summary

NVIDIA is a learning machine that constantly evolves by adapting to new opportunities that are hard to solve and that matter to the world.

Skills & Requirements

Must-have

  • Formal verification technologies
  • Hardware micro-architecture understanding
  • Formal property verification experience
  • Creating formal verification testplans
  • Building formal testbenches
  • Root-causing counter-examples

Nice-to-have

  • Debugging and problem solving skills
  • Scripting knowledge (Python/Perl/shell)
  • Good interpersonal and communication skills
  • Teamwork orientation

Key Requirements

  • B.Tech./M.Tech. degree
  • 5+ years relevant experience
  • Formal verification experience on complex units

Work Rights

Not specified

Tailored Resume

Cover Letter