Formal Verification Engineer
NVIDIA AI is looking for a Formal Verification Engineer based in Gurugram, Haryana. This role involves working on formal verification methodologies within a leading AI and semiconductor environment.
About the role
This is an opportunity to join NVIDIA AI as a Formal Verification Engineer at their Gurugram, Haryana office. NVIDIA is a global leader in accelerated computing, AI, and GPU technology, and this role sits at the heart of their hardware engineering efforts.
As a Formal Verification Engineer, the selected candidate will be responsible for applying formal verification techniques to ensure the correctness and reliability of hardware designs. The role demands a strong foundation in formal methods and an ability to work within a high-performance engineering team.
- Apply formal verification methodologies to hardware design flows
- Collaborate with design and validation teams to identify and resolve functional issues
- Develop and maintain formal verification environments and proof strategies
This position is suited for engineers with hands-on experience in formal verification tools and techniques, a solid understanding of digital design principles, and a passion for working on cutting-edge AI and computing hardware.