All vacancies
Senior Formal Verification Engineer
NVIDIA
US, CA, Santa Clara +1 more · On-site · relocation$11,333–22,042 gross/mofull-timeNVIDIA Careers (offices abroad)
NVIDIA has been transforming computer graphics, PC gaming, and accelerated computing for more than 25 years. It’s a unique legacy of innovation that’s fueled by great technology—and amazing people.
Responsibilities
- Identify key behaviors for verification to write clear testplans for sophisticated designs.
- Implement testplans using the latest formal techniques, including the development of environment assumptions, assertions, and cover properties.
- Develop abstraction models to overcome complexity challenges and acquire full proofs, or bounded proofs with sufficient coverage.
- Drive formal tools to realize their best performance.
- Contribute to flow and script development to improve team efficiency.
Languages
- Work format
- On-site
- Seniority
- Senior
- Posted
- 23 Sept 2026
- Last verified
- In the last 5 days
Similar roles
- ERPNext DeveloperGirman Technologies Private Limited · Remote · worldwide, UTC+4 accepted
- AI Research Engineer (Multi-Modal & Vision) - 100% Remote WorldwideTether Operations Limited · Remote · worldwide, UTC+4 accepted
- Staff Software Engineer, AI SystemsFederato · Remote · worldwide not confirmed
- Senior DevOps EngineerFundraise Up · Remote · Armenia
- Solutions Architect for AutomotiveCanonical · Remote · worldwide
- Financial specialistFounder · Armenia · On-site