Security Formal Verification Lead



Yokne'am Illit, Israel
Posted on Monday, July 1, 2024

NVIDIA is looking for a Formal Verification (FV) expert to lead the formal verification of the security features in our chips. This role is in the FV team, but you will work with key stakeholders across chips in both the security architecture and RTL designs, located in different geographies. You will define the required methodology ensuring that security features are following the specification of our next generation chip designs. You will also prioritize execution of which features need to be verified when and how. You will define the FV scope and work with different FV tools to decide the best solutions. You are a hands-on FV engineer. As needed, you will also partition work for other FV engineers as needed. You will employ advanced formal techniques to obtain sufficiently bounded proofs while working with architects, designers, and pre- & post-silicon verification teams to accomplish your tasks.

What you will be doing:

  • Define formal verification flows and requirements for security features.

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

  • Implement testplans using the latest formal techniques, including the development of environment assumptions, assertions, and cover properties.

  • Drive verification of hardware features that improve security of our chips.

  • Use black-boxing, proof decompositions and abstractions to overcome complexity challenges and obtain full proofs, or bounded proofs with sufficient coverage.

  • Drive FV tools to realize their best performance.

  • Debug RTL to identify causes of failure scenarios.

  • Contribute to the flow and script development to improve team efficiency.

  • Articulate the security FV coverage to the design, simulation and architecture teams.

What we need to see:

  • 14+ years of experience in FV, including 5 years in applying FV to hardware security, experience with verification of security scenarios (key leakage, corruption, etc.).

  • Background with micro-architectural attacks.

  • Strong analytical skills to solve complex problems.

  • Knowledge of FV methodologies and techniques.

  • Able to implement abstraction techniques for effective verification.

  • Hands-on experience with Verilog / SystemVerilog HDLs, and ability to understand complex RTL quickly.

  • Excellent command of scripting using TCL, Perl, and Python.

  • Experience with commercial FV tools (e.g. Jasper, VC Formal )

  • Experience with commercial security FV tools (e.g. Jasper SPV, VC Formal FSV or Cycuity)

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

NVIDIA is widely considered to be one of the technology world’s most desirable employers. We have some of the most resourceful and talented people in the world working for us. If you're creative, autonomous and love a challenge, we want to hear from you!

We are an equal-opportunity employer and value diversity at our company. We do not discriminate on the basis of race, religion, color, national origin, sex, gender, gender expression, sexual orientation, age, marital status, veteran status, or disability status.