Nvidia Formal Verification Lead - Security 

United States, Texas 

686028378

What you’ll be doing:

• Define formal verification flows and requirements specifically for security features, ensuring they align with the specifications of our next generation chip designs.

• Identify key security behaviors and develop clear and comprehensive test plans for complex designs.

• Implement test plans and drive verification of hardware features that enhance chip security using the latest formal techniques.

• Contribute to the development of flow and scripts to enhance team productivity.

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

What we need to see:

• Bachelor’s degree in computer science/engineering or equivalent experience

• Minimum 8 years' experience in hardware security, with a solid understanding of GPU/CPU architectures and designs

• Experience in verifying security scenarios, such as key leakage and corruption, along with a background in micro-architectural attacks

• Strong proficiency withVerilog/SystemVerilogHDLs, temporal logic assertions, and an understanding of complex RTL

• Proven experience in scripting languages such as TCL, Perl and Python

Ways to stand out from the crowd:

• Strong interpersonal skills along with the ability to work in a diverse team

• Excellent analytical skills