🤖 15+ AI Agents working for you. Find jobs, score and update resumes, cover letter, interview questions, missing keywords, and lots more.
Cookies & analytics consent
We serve candidates globally, so we only activate Google Tag Manager and other analytics after you opt in. This keeps us aligned with GDPR/UK DPA, ePrivacy, LGPD, and similar rules. Essential features still run without analytics cookies.
Read how we use data in our Privacy Policy and Terms of Service.
🤖 15+ AI Agents working for you. Find jobs, score and update resumes, cover letter, interview questions, missing keywords, and lots more.
NVIDIA • Santa Clara, California, United States
Salary: $116,000 - $218,500 / year
Role & seniority: Formal Verification Engineer (Level 2/3 equivalent; mid to senior IC verification role)
Stack/tools: RTL/HDL (Verilog, SystemVerilog); formal verification techniques; verification environments; assertions and cover properties; scripting for automation; formal tools (e.g., Jasper, VC Formal)
Develop comprehensive formal verification test plans and identify key behaviors for the DUT
Build verification environments with assumptions, assertions, and cover properties; apply FV techniques to prove design correctness
Debug RTL, create automation scripts, and review formal setups/proofs with design and verification teams
BS/MS/PhD in CS, CE, EE, Mathematics or equivalent experience
Strong analytical skills; deep knowledge of CPU/GPU architectures and digital logic
Experience with formal verification techniques and RTL/HDL (Verilog/SystemVerilog)
Ability to quickly understand RTL and abstraction techniques for verification
Experience with formal verification tools (e.g., Jasper, VC Formal)
Good communication and collaboration skills
Additional FV tool experience beyond the listed ones
Proficiency in scripting for automation
Prior work on industrial/ ASIC verification projects
Interest in autonomous, high-performance, low-power silicon design
Location & work type: Full-time role; location not specified; base salary varies by location and exp
As a Formal Verification Engineer at NVIDIA, you will work in the formal verification team for the industry's leading chips. We are looking for outstanding candidates with knowledge of formal methods. The engineer will own the task of formal verification of RTL units for next generation chip designs. This will involve the candidate having deep knowledge of architectural as well as micro-architectural details of the unit. The ideal candidate will have strong analytical skills, computer architecture background, and experience in the application of effective verification methodology. What you will be doing: Developing comprehensive FV testplan documents. Identifying key behaviors for verification of DUT and creating a verification plan. Developing verification environments including environment assumptions, assertions, and cover properties in context of the verification plan. Applying various FV techniques to proof correctness of digital designs. Debugging RTL to identify failure scenarios. Developing scripts to automate the verification process. Review formal setups and proofs with design and verification teams. What we need to see: BS, MS, or Ph.D. in CS/CE/EE/Mathematics or equivalent experience. Strong analytical skills to solve difficult problems. Knowledge/Experience in formal verification techniques. Strong knowledge of architectures of CPU/GPU designs and digital logic. Understanding of abstraction techniques for effective verification. Hands-on experience with HDLs such as Verilog / SystemVerilog. Ability to understand RTL quickly. Preferable experience with Formal Verification Tools (e.g., Jasper, VC Formal) Excellent communication skills with ability to work with team members and collaborate effectively. 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. Are you creative and autonomous? Do you love the challenge of crafting the highest performance & lowest power silicon possible? If so, we want to hear from you. Come, join our Formal Verification team and help build the real-time, cost-effective computing platform driving our success in this exciting and quickly growing field. Your base salary will be determined based on your location, experience, and the pay of employees in similar positions. The base salary range is 116,000 USD - 189,750 USD for Level 2, and 136,000 USD - 218,500 USD for Level 3. You will also be eligible for equity and benefits. Applications for this job will be accepted at least until February 23, 2026. This posting is for an existing vacancy. NVIDIA uses AI tools in its recruiting processes. 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. NVIDIA is the world leader in accelerated computing. NVIDIA pioneered accelerated computing to tackle challenges no one else can solve. Our work in AI and digital twins is transforming the world's largest industries and profoundly impacting society. Learn more about NVIDIA.