NVIDIA is seeking Formal Verification Engineering Interns to verify the design and implementation of leading SoCs and GPUs. This role offers the chance to make a significant impact in a technology-driven company that influences various product lines, including consumer graphics and self-driving cars. Interns will work within a diverse engineering team to tackle complex verification challenges using advanced methodologies. The position emphasizes collaboration, innovation, and the application of AI tools to enhance verification processes.

• Currently pursuing a BS, MS, or PhD in Electrical Engineering, Computer Science, or a related field.
• Demonstrated passion for formal verification and/or digital hardware design.
• Solid understanding of hardware design principles.
• Strong analytical and problem-solving skills.
• Practical experience with Verilog or SystemVerilog, including temporal logic assertions.
• Proficiency in scripting languages such as TCL, Perl, and/or Python.

• Define critical behaviors and craft comprehensive test plans for advanced hardware designs.
• Work effectively within a diverse, innovative engineering team.
• Collaborate to solve complex verification challenges using state-of-the-art formal verification methodologies.
• Develop environment assumptions, assertions, and coverage properties to ensure robust verification.
• Build abstraction models to create formal test benches and address complexities in achieving full or bounded proofs with sufficient coverage.
• Utilize AI tools to enhance debug and flow development.
• Analyze and debug RTL to pinpoint and resolve failure scenarios.
• Contribute to the development of scripts and process improvements to enhance verification workflows.

• Employees at NVIDIA are often offered comprehensive, day-one benefits—including medical, dental, and vision coverage with HSA support, life and disability insurance, an Employee Assistance Program, and a 401(k) with auto-enrollment. Many roles also have generous time off and holidays, donation matching (up to $10,000), and a wide menu of extras like FSAs, commuter benefits, legal and identity-theft protection, pet insurance, and wellness discounts. Optional programs can include student-loan and home-purchase support, plus family care resources and expert medical services.