Description
NVIDIA is hiring a Senior System Software Engineer for its Compute System software team to define and bootstrap formal verification initiatives for the software architecture and design of user-mode drivers interacting with GPU, DLA, and other Tegra compute engines. The role also involves functional safety software development, architectural analysis, high-quality software development practices, and mentoring other engineers. Candidates need a computer science or related degree or equivalent experience, strong computer architecture and operating-system knowledge, formal verification and functional programming expertise, hands-on experience with tools such as LEAN4, TLA+, Haskell, or Coq/Rocq, and at least 12 years of complex software development, design, and analysis experience.
