Join NVIDIA, a company at the forefront of technological innovation, reinventing the future with GPUs, AI, and parallel computing. We are seeking a seasoned Formal Verification Engineer for our Central Formal team in Bangalore. This role is pivotal in advancing NVIDIA's next-generation CPUs and GPUs by applying cutting-edge formal verification methodologies.

As a key member of our team, you will architect and refine formal verification flows for complex CPU and GPU projects. Your expertise will be crucial in resolving tool-related challenges for design teams and collaborating with tool vendors. You'll utilize advanced model checking and equivalence checking techniques to ensure the correctness of microarchitectures, deeply understanding design implementations and defining comprehensive verification scopes.

This is an opportunity to employ state-of-the-art formal techniques, striving for complete proofs or robust bounded proofs. Collaboration with architects, designers, and pre- and post-silicon verification teams is integral to achieving our goals and pushing the boundaries of what's possible.

You will lead the specification, implementation, and ongoing maintenance of an integrated, end-to-end formal verification flow.

Key responsibilities include developing scripts to streamline and automate the verification process, conducting thorough reviews of formal setups and proofs with design and verification teams, and maintaining and expanding assertion libraries to support both simulation and formal verification.

Your role will involve identifying critical behaviors for verification, developing comprehensive verification plans, and constructing robust verification environments complete with assumptions, assertions, and cover properties. You'll apply diverse formal verification techniques to rigorously prove the correctness of digital designs and debug RTL to pinpoint the root causes of failure scenarios.

We are looking for candidates with a Bachelor's or Master's degree in Electronics & Communications, Computer Science, or Electrical Engineering from a reputable institution.

A minimum of 2 years of industry experience in applying formal techniques for verification is essential. You should possess strong analytical abilities to effectively tackle complex problems and demonstrate excellent command over scripting languages.

Proficiency in CPU design architectures and digital logic is required, alongside a solid understanding of abstraction techniques for efficient verification. Hands-on experience with Hardware Description Languages (HDLs) like Verilog and SystemVerilog is a must, as is familiarity with temporal logic assertions. Experience with various Formal Verification Tools is highly desirable.

Exceptional communication skills are necessary, enabling effective collaboration within a dynamic, product-oriented team and across geographically dispersed sites.