Formal Verification Lead - Security

Posted:
7/7/2024, 5:00:00 PM

Location(s):
Hillsboro, Oregon, United States ⋅ Oregon, United States ⋅ Texas, United States ⋅ California, United States ⋅ Massachusetts, United States ⋅ Austin, Texas, United States ⋅ Westford, Massachusetts, United States

Experience Level(s):
Senior

Field(s):
IT & Security

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.

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

The base salary range is 164,000 USD - 304,750 USD. Your base salary will be determined based on your location, experience, and the pay of employees in similar positions.

You will also be eligible for equity and benefits. NVIDIA accepts applications on an ongoing basis.

NVIDIA is committed to fostering a diverse work environment and proud to be an equal opportunity employer. As we highly value diversity in our current and future employees, we do not discriminate (including in our hiring and promotion practices) on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, veteran status, disability status or any other characteristic protected by law.