Senior Compute System Software Engineer

NVIDIA
Bengaluru
Full timeFunction: Software EngineeringExperience: 12+ yearsEducation: mastersSkills: ["High-quality software engineering","Mentorship","Self-motivated","Teamwork","Desire to learn and grow"]

Work on defining and bootstrapping formal verification initiatives for the software architecture and user-mode drivers that interact with GPU, DLA, and other Tegra compute engines. You’ll contribute to architectural design, analysis, and development of functional safety software, help establish company-wide verification processes, and mentor engineers while shaping the future of parallel computation on NVIDIA platforms.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
NVIDIA
NVIDIA
13 hours ago

Senior Compute System Software Engineer

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI
Last checked: 13 hours agoStatus: Live

Job Summary

Work on defining and bootstrapping formal verification initiatives for the software architecture and user-mode drivers that interact with GPU, DLA, and other Tegra compute engines. You’ll contribute to architectural design, analysis, and development of functional safety software, help establish company-wide verification processes, and mentor engineers while shaping the future of parallel computation on NVIDIA platforms.
Location: Bengaluru
Employment Type: Full time
Job Function: Software Engineering
Seniority: Mid level

Key Responsibilities

  • •Define, architect, and analyze formal verification work for GPU/DLA/Tegra user-mode driver software architecture and design.
  • •Develop functional safety software for groundbreaking parallel computation use cases.
  • •Bootstrap company-wide processes for formal verification.
  • •Inculcate a culture of high-quality software development in the team.
  • •Mentor other engineers to raise quality and execution standards.

Key Requirements

  • •BS/MS/PhD in Computer Science or a related field (or equivalent experience).
  • •12+ years of experience in complex software development, design, and analysis.
  • •Deep understanding of computer architecture and OS fundamentals.
  • •Solid background in formal verification methodologies and functional programming.
  • •Hands-on experience with LEAN4, TLA+, Haskell, and/or Coq/Rocq (or related paradigms).
Experience:12+ yearsParallel programmingFormal verificationFunctional programmingDeep learning frameworks
Education:Master's in Computer Science
Skills:High-quality software engineeringMentorshipSelf-motivatedTeamworkDesire to learn and grow
Tech Stack:LEAN4TLA+HaskellCoqRocqCUDAOpenCLRenderScriptPytorchPyTorchTensorFlowONNXGPUDLATegraFormal verificationFunctional programmingParallel programming

Company Brief

NVIDIA
Designs and manufactures GPUs, AI accelerators, and system-on-chip products for gaming, data centers, professional visualization, and automotive markets, enabling advanced graphics, AI, and high-performance computing solutions worldwide.
Industry: Electronics Manufacturing
Company Size: Enterprise (1,001+ employees)
Revenue: USD 1B+
Growth: Public Company
Valuation: Public Company (Market Cap in USD)
Funding: IPO / Publicly Listed
Headquarters: Santa Clara, United States
Founded: 1993
Glassdoor
Glassdoor: 4.3
WebsiteLinkedInGlassdoor