Formal Verification Lead - Security

Details

We are now looking for a Formal Verification Lead - Security.

Responsibilities

• 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.

Requirements

• 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 with Verilog/SystemVerilog HDLs, temporal logic assertions, and an understanding of complex RTL.
• Proven experience in scripting languages such as TCL, Perl and Python.

Benefits

• You will be eligible for equity and benefits.
• NVIDIA is widely considered to be one of the technology world’s most desirable employers.