Formal Verification Lead - Security
At NVIDIA, we're pioneers in the world of visual computing, constantly pushing the boundaries of what's possible. We're seeking a highly skilled Formal Verification Lead - Security to join our team and help us ensure the safety and security of our products. As the leader of our formal verification efforts, you'll play a crucial role in identifying and eliminating potential security risks in our hardware and software designs. We're looking for someone with a strong background in formal verification, a passion for security, and a drive to constantly improve and innovate. If you're ready to make a significant impact in the ever-evolving world of technology, we want you on our team.
- Lead and oversee all formal verification efforts related to security for NVIDIA products.
- Develop and maintain a deep understanding of security risks and threats in the world of visual computing.
- Work closely with cross-functional teams to identify potential security risks in hardware and software designs.
- Design and implement formal verification strategies to ensure the safety and security of NVIDIA products.
- Conduct thorough testing and analysis of hardware and software designs using formal verification methods.
- Collaborate with engineering teams to implement security-focused solutions and improvements.
- Continuously research and stay up-to-date on the latest security trends and technologies.
- Train and mentor team members on formal verification techniques and best practices.
- Act as a subject matter expert on formal verification and security for the organization.
- Drive innovation and improvement in formal verification processes and methodologies.
- Communicate regularly with management and stakeholders on project progress, risks, and recommendations.
- Adhere to industry standards and regulatory requirements related to security in the development and verification of products.
- Participate in security reviews and audits to identify potential vulnerabilities and recommend solutions.
- Lead and manage projects related to formal verification and security, ensuring timely delivery and high-quality results.
- Collaborate with external partners and vendors to establish and maintain strong security practices and standards.
Extensive Experience With Formal Verification Tools: The Ideal Candidate Should Have A Minimum Of 5 Years Of Experience Working With Formal Verification Tools Such As Cadence Jaspergold Or Synopsys Vc Formal. They Should Also Have A Strong Understanding Of Formal Verification Methodologies And Techniques.
In-Depth Knowledge Of Security Protocols: The Formal Verification Lead Should Have A Deep Understanding Of Security Protocols And Standards Such As Tls, Ssl, Aes, And Sha. They Should Also Have Experience In Verifying Security Features In Hardware Designs.
Strong Programming Skills: The Candidate Should Be Proficient In Programming Languages Such As Verilog, Systemverilog, And C/C++. They Should Also Have Experience In Scripting Languages Like Perl, Python, Or Tcl To Automate Verification Processes.
Security Certifications: Candidates With Relevant Security Certifications Such As Certified Information Systems Security Professional (Cissp) Or Certified Secure Software Lifecycle Professional (Csslp) Will Be Preferred. These Certifications Demonstrate A Strong Understanding Of Security Principles And Best Practices.
Excellent Communication And Leadership Skills: As A Lead Position, Strong Communication Skills Are Essential To Effectively Collaborate With Cross-Functional Teams And Present Complex Technical Concepts To Non-Technical Stakeholders. The Candidate Should Also Have Experience In Leading A Team Of Engineers And Driving Them Towards Project Goals.
Cryptography
Risk assessment
System architecture
Security protocols
Threat modeling
Code analysis
Verification methodologies
Hardware Design
Formal Verification
Security Standards
Model Checking
Communication
Conflict Resolution
Emotional Intelligence
Leadership
Time management
creativity
Critical thinking
Teamwork
Adaptability
Problem-Solving
According to JobzMall, the average salary range for a Formal Verification Lead - Security in Santa Clara, CA, USA is $150,000 to $180,000 per year. This may vary depending on the specific company, years of experience, and skills of the individual.
Apply with Video Cover Letter Add a warm greeting to your application and stand out!
NVIDIA Corp. designs and manufactures computer graphics processors, chipsets, and related multimedia software. The company operates through two segments: Graphics Processing Unit and Tegra Processor. The Graphics Processing Unit segment includes sales of the company's GeForce discrete and chipset products that supports desktop and notebook PCs plus license fees from Intel and sales of memory products. The Tegra Processors segment provides processors that deliver superior visual and multimedia experience on tablets, smart phones and gaming devices while consuming minimal power.
Get interviewed today!
JobzMall is the world‘ s largest video talent marketplace.It‘s ultrafast, fun, and human.
Get Started