NVIDIA has continuously reinvented itself. Our invention of the GPU sparked the growth of the PC gaming market, redefined modern computer graphics, and revolutionized parallel computing. Today, research in artificial intelligence is booming worldwide, which calls for highly scalable and massively parallel computation horsepower that NVIDIA GPUs excel. NVIDIA is a 'learning machine' that constantly evolves by adapting to new opportunities that are hard to solve, that only we can address, and that matter to the world. This is our life's work, to amplify human creativity and intelligence. As an NVIDIAN, you'll be immersed in a diverse, supportive environment where everyone is inspired to do their best work. Come join our diverse team and see how you can make a lasting impact on the world
We are looking for a Formal Verification Engineer to join our team. You will be responsible for formally verifying complex designs.



NVIDIA has developed a solid functional formal verification methodology that not only enables hardware design and verification engineers to use lightweight FV tools and techniques successfully, but also allows FV engineers to apply advanced property proving techniques on complex and/or critical RTL logic. You will work closely with the design, architecture, and validation teams, and with NVIDIA's internal FV R&D; group, which develops functional verification tools using formal verification technology.
What You'll Be Doing
- Decide on the best applications of formal verification techniques to various parts of the design.
- Review functional and micro-architectural specifications, define the scope for formal verification, and create high-quality formal verification testplans to sign-off on the corresponding design implementation.
- Build formal verification testbenches, code assertions and constraints, and apply abstraction techniques to converge the targeted properties or to achieve reasonable proof-depth.
- Apply formal coverage techniques for analyzing ov

📌 Senior Formal Verification Engineer (Bengaluru)
🏢 NVIDIA
📍 Bengaluru