LinkedIn and 3rd parties use essential and non-essential cookies to provide, secure, analyze and improve our Services, and to show you relevant ads (including professional and job ads) on and off LinkedIn. Learn more in our Cookie Policy.
Select Accept to consent or Reject to decline non-essential cookies for this use. You can update your choices at any time in your settings.
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.
Seniority level
Mid-Senior level
Employment type
Full-time
Job function
Engineering
Industries
Computer Hardware Manufacturing, Software Development, and Computers and Electronics Manufacturing
Referrals increase your chances of interviewing at NVIDIA by 2x