NVIDIA is at the forefront of innovation, driving advancements in GPU technology that power gaming, graphics, and the AI revolution. We are a continuously evolving organization, embracing complex challenges and seeking solutions that make a global impact.

Join our dynamic and supportive environment where creativity and intelligence are amplified. This role offers a unique opportunity to contribute to groundbreaking product lines, from consumer graphics to autonomous vehicles and the rapidly expanding field of artificial intelligence. Become part of a global team dedicated to pushing the boundaries of what's possible and shaping the future of computing.

As a Formal Verification Engineer, you will be instrumental in ensuring the correctness of critical design blocks, IPs, and SoC components through advanced Formal Verification methodologies.

Key responsibilities include developing comprehensive test plans and implementing them using formal techniques. You will also explore and experiment with formal tools and flows to enhance performance and the quality of verification results. Collaboration with design and verification teams is essential to achieve our collective verification objectives.

We are seeking candidates with a B.Tech. or M.Tech. in Electrical Engineering, Computer Science, or a related discipline, possessing at least 2 years of relevant professional experience.

Strong analytical capabilities are crucial for dissecting and solving complex design challenges. Proficiency in industry-standard scripting or programming languages such as C, Python, Perl, or Tcl is required. Excellent communication and collaboration skills are vital for success within our globally distributed team.