Senior Compute System Software Engineer
NVIDIA Corporation (company site, opens in a new tab)12+ yrsBengaluruOn-siteDirect career pageEst. 45–95 LPA
Posted on 21 Sept
Reach people at NVIDIA Corporation
People at this company you can reach
Log in to see who works here
Create a free account or log in to see the people at NVIDIA Corporation you could write to:
- Recruiters & HR
- People in this function
- Work addresses
Your match
Against your primary resume
Log in to see your match score
Create a free account or log in to unlock your CV match score across:
- Role fit
- Experience
- Industry relevance
Protocol Intelligence
How competitive this role is
Competition
Background fit
Strictness
Log in to see why each signal reads the way it does.
Job description
Structured overview of role & requirements
About This Role
- Lead the definition, architectural design, and development of functional safety software for GPU, DLA, and Tegra compute engines' user mode drivers.
- Initiate and establish company-wide processes for formal verification of software architecture and design.
- Mentor and promote high-quality software development practices within the team.
Minimum Requirements
- BS/MS/PhD degree in Computer Science or related field or equivalent experience.
- 12+ years of proven experience in complex software development, design, and analysis.
- Strong background in formal verification methodologies and functional programming, with hands-on experience in LEAN4, TLA+, Haskell, Coq/Rocq or related paradigms.
- Deep understanding of computer architecture and OS fundamentals.
Ideal Candidate Profile
- Experienced in parallel programming technologies such as CUDA, OpenCL, or Renderscript.
- Knowledgeable in deep learning frameworks like PyTorch, TensorFlow, or ONNX.
- Prior involvement in production environments with formal verification, functional programming, or development of safety-critical/hardened software.