Formal Verification Engineer

NVIDIA is seeking a Formal Verification engineer for the Hardware Engineering team.

At NVIDIA, employees are passionate about parallel and visual computing, united in their quest to transform the way graphics are used to tackle complex problems in computer science.

The role involves:

• Learning state-of-the-art formal verification methodologies
• Applying best-in-class formal methodologies on complex digital designs, IP blocks, and SoCs
• Developing a robust test plan to verify a design
• Executing the test plan with the design team
• Coordinating with other verification team members for closure

Requirements include:

• B.Tech./M.Tech. in Electrical Engineering/Computer Science with 1+ year of experience
• Strong analytical skills to solve difficult problems
• Understanding of abstraction techniques for effective verification
• Hands-on experience with HDLs such as Verilog/System Verilog
• Ability to understand RTL quickly
• Understanding of temporal logic assertions