Formal Verification Engineer

NVIDIA is seeking Formal Verification Engineers for our Hardware Team. At NVIDIA, our employees are passionate about parallel and visual computing. We're united in our quest to transform the way graphics are used to tackle some of the most complex problems in computer science. It started out as an engine for simulating human imagination, conjuring up the amazing virtual worlds of video games and Hollywood films. Today, NVIDIA’s GPU simulates human intelligence, running deep learning algorithms and acting as the brain of computers, robots, and self-driving cars that can perceive and understand the world. This is our life’s work — to amplify human imagination and intelligence. And we have only scratched the surface of what we can accomplish when we apply our technology to it.

We need passionate, hardworking, and creative people to help us take on some of these once-in-a-lifetime opportunities. This position offers the opportunity to have real impact in a progressive, technology-focused company impacting product lines ranging from consumer graphics to self-driving cars and the growing field of artificial intelligence. We have crafted a team of outstanding people stretching around the globe, whose mission is to push the frontiers of what is possible today and define the platform for the future of computing.

• Learn and apply advanced formal verification methodologies
• Verify complex digital designs, IP blocks, and SoCs
• Develop comprehensive verification test plans
• Execute formal verification using industry-standard tools
• Work closely with RTL Design Engineers
• Perform verification closure and bug analysis
• Coordinate with cross-functional verification teams
• Ensure design correctness using formal techniques

• Verilog
• SystemVerilog
• RTL Design Understanding
• Formal Verification
• Digital Electronics
• Computer Architecture
• Temporal Logic Assertions
• Hardware Debugging
• Analytical Thinking
• Problem Solving
• Communication Skills
• Team Collaboration

Educational Qualification:
• B.Tech / M.Tech
• Electrical Engineering
• Electronics & Communication Engineering
• Computer Science Engineering
• Related Engineering Disciplines

Eligibility Requirements:
• Strong analytical and logical reasoning skills
• Understanding of abstraction techniques for verification
• Hands-on experience with Verilog/SystemVerilog
• Ability to understand RTL designs
• Knowledge of temporal logic assertions