← All roles

Senior Compute System Software Engineer

NVIDIA· Engineer, Sys SW
Apply on company site
Bengalurufull-timePosted 4w ago

About the role

Senior System Software Engineer in the Compute System software team focusing on formal verification of SW architecture and design of user mode drivers interacting with GPU, DLA and Tegra compute engines; defining bootstrapping initiatives for formal verification and fostering high-quality software practices.

Responsibilities

  • Definition, architectural design and analysis, and development of groundbreaking functional safety software for parallel computation on GPUs, DLA and other engines
  • Bootstrap initiatives defining and laying down the company-wide process for formal verification
  • Inculcate a culture of high quality software development in the team, mentor other engineers

Qualifications

  • BS/MS/PhD in Computer Science or related field or equivalent experience
  • Passion for high-quality software engineering and contributing to better software
  • Deep understanding of computer architecture, OS fundamentals
  • Solid background in formal verification methodologies, functional programming
  • Hands on experience with LEAN4, TLA+, Haskell, Coq/Rocq or related paradigms
  • 12+ years of proven experience in complex software development, design, and analysis
  • Strong teammate; self-motivated and good demeanor
  • A strong desire to learn, grow and create

Skills

Required:Formal verificationLEAN4TLA+HaskellCoq/RocqComputer architectureOS fundamentals
Nice to have:Parallel programming (CUDA, OpenCL, or Renderscript)
Last updated Sep 25, 2026. Interested? Apply on the company site.

About NVIDIA

World Leader in AI Computing

NVIDIA invents the GPU and drives advances in AI, HPC, gaming, creative design, autonomous vehicles, and robotics.

AIautonomous vehiclesgaminggpugraphics cardhigh performance computingliquid-ai-recruiting-targetllm
Company profileWebsite

More open roles at NVIDIA