Formal Verification Lead - Security

Details

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

NVIDIA is seeking a skilled and experienced Formal Verification Lead to supervise the verification of security features in our advanced chip designs. In this role, you will be responsible for ensuring the detailed functionality and security of our top-notch products. This position offers a chance to lead the formal verification efforts of security features, working closely with colleagues in various geographical locations. Your contributions will directly influence the security and functionality of our state-of-the-art chip designs.

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.

Ways to stand out from the crowd

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

NVIDIA is widely considered to be one of the technology world’s most desirable employers. We have some of the most forward-thinking and hardworking people in the world working for us. If you are creative, autonomous and love a challenge, we want to hear from you.