**Who this is for** A dedicated verification professional focused on using formal methods to ensure the reliability and functional correctness of complex AI ASI
Work type: hybrid
Location: US, CA, Remote | US, TX, Remote | US, CO, Remote | US, OR, Remote | US, WA, Remote | US, MA, Remote
Salary: $136,000 – $264,500/yr
Type: Full-time
**Who this is for** A dedicated verification professional focused on using formal methods to ensure the reliability and functional correctness of complex AI ASIC designs. **Key highlights** This role focuses on high-impact verification tasks, including developing automated formal flows, specifying critical properties, and collaborating with RTL and architecture teams to minimize ambiguity in hardware builds. **You might be a good fit if you...** - Have 5+ years in ASIC verification, with at least 3 years dedicated specifically to formal verification methods. - Are proficient in SystemVerilog Assertions (SVA) and industry-standard formal tools like JasperGold or VC Formal. - Have strong problem-solving skills and the ability to integrate AI-assisted tools into your verification workflow. - Possess excellent attention to detail and strong communication skills for articulating complex coverage data.
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. Today, we’re tapping into the unlimited potential of AI to define the next era of computing. An era in which our GPU acts as the brains of computers, robots, and self-driving cars that can understand the world. Doing what’s never been done before takes vision, innovation, and the world’s best talent. As an NVIDIAN, you’ll be immersed in a diverse, supportive environment where everyone is inspired to do their best work. Come join the team and see how you can make a lasting impact on the world.
Are you ready to be part of a team that is pushing the boundaries of AI and computing? At NVIDIA, we value innovation, collaboration, and excellence. Join our outstanding team as a Senior Formal Verification Engineer and be at the forefront of developing modern technology that builds the future. This role offers an outstanding opportunity to work with world-class talent and make a significant impact!
What you'll be doing:
#LI-Hybrid
Your base salary will be determined based on your location, experience, and the pay of employees in similar positions. The base salary range is 136,000 USD - 218,500 USD for Level 3, and 168,000 USD - 264,500 USD for Level 4.
You will also be eligible for equity and [benefits](https://www.nvidia.com/en-us/benefits/).
Applications for this job will be accepted at least until April 26, 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.