Expoint - all jobs in one place

מציאת משרת הייטק בחברות הטובות ביותר מעולם לא הייתה קלה יותר

Limitless High-tech career opportunities - Expoint

Nvidia Formal Verification Lead - Security 
United States, Texas 
686028378

31.07.2024

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

You will also be eligible for equity and .