Join NVIDIA, a leader at the forefront of AI and GPU computing, and contribute to the future of intelligent systems. As a Senior System Software Engineer, you will play a pivotal role in defining and implementing initiatives for formal verification of user-mode drivers interacting with GPU and other compute engines. This is an exciting opportunity to shape the parallel computation landscape and advance the quality of robust GPU software stacks.

Our team is pushing the boundaries in GenAI-assisted design and development, tackling complex challenges like formal verification of AI-generated content. You will be instrumental in establishing company-wide processes for formal verification and fostering a culture of high-quality software development. Be part of a passionate group driving innovation in areas like robotics, autonomous vehicles, and industrial automation.

Define and architect groundbreaking functional safety software. Bootstrap initiatives for company-wide formal verification processes. Enhance the team's culture of high-quality software development. Mentor other engineers in best practices and methodologies. Analyze and develop software for GPU, DLA, and other Tegra compute engines. Shape the future of parallel computation on GPUs.

A Bachelor's, Master's, or PhD degree in Computer Science or a related field, or equivalent practical experience is required. We seek passionate individuals with a deep understanding of computer architecture and OS fundamentals.

A solid background in formal verification methodologies and functional programming is essential. Hands-on experience with tools and paradigms like LEAN4, TLA+, Haskell, or Coq/Rocq is highly valued. Candidates should possess at least 12 years of proven experience in complex software development, design, and analysis. A strong team spirit, self-motivation, and a desire to learn and grow are key attributes we are looking for.