The Senior Formal Verification Engineer for GPU Kernels will focus on developing and delivering verification tools for performance-critical GPU kernels. This role is part of NVIDIA's Deep Learning Safety Team, which aims to ensure the correct behavior of GPU kernels in various environments, including safety-critical systems. The engineer will work on integrating AI into formal verification workflows and contribute to the intersection of AI and formal methods. This position offers the opportunity to impact NVIDIA's software projects significantly.

• MS or PhD in Computer Science, Computer Engineering, or equivalent experience.
• 6+ years of relevant work experience.
• Experience with formal methods such as symbolic execution, SMT solving, interactive theorem proving, or model checking.
• Strong programming skills in C/C++ or Rust, along with experience in SCM (e.g., Git) and build systems (e.g., Make, CMake).
• The ability to work independently, define project goals and scope, and lead your own development effort.

• Develop and deliver verification tools for GPU kernels.
• Design and develop robust and scalable verification tools for GPU kernels.
• Integrate work into production pipelines to support kernel and compiler developers.
• Integrate AI into formal verification workflows and build agents to automate verification tasks.
• Participate in a high-energy and dynamic company culture to develop innovative software and hardware products.

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