NVIDIA is seeking motivated students passionate about formal verification, digital design, and computer architecture. In this role, you will collaborate with experienced engineers to verify advanced processor and accelerator designs using formal verification techniques. The position emphasizes learning and applying mathematical reasoning and debugging skills to ensure hardware correctness. You will be part of an inclusive team dedicated to innovation and excellence in technology.

• BS/MS/Ph.D. or equivalent experience in CS/CE/EE/Mathematics
• Strong analytical and collaboration skills to solve complex problems
• Familiarity with Verilog and SystemVerilog
• Programming or scripting experience in Python, Tcl, Perl, C/C++, or similar
• Ability to learn quickly, ask good questions, and collaborate effectively

• Learn and apply formal verification techniques to real processor and accelerator designs
• Understand design behavior from specifications, RTL, and discussions with design teams
• Write assumptions, assertions, and cover properties to verify important microarchitectural behavior
• Debug formal failures and counterexamples to identify RTL bugs, property issues, or constraint problems
• Use abstraction, modeling, and scripting to improve proof convergence and team productivity
• Clearly communicate verification progress, coverage, risks, and findings

• 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.