Senior Compute System Software Engineer
NVIDIA CorporationMatch Score
Against your primary resumeLogin to See Your Match Score
Create a free account or log in to unlock your CV match score across:
Protocol Intelligence
Data-driven signals on your job's competitivenessTier-1 brand and Bengaluru location increase competition but senior, highly specialized formal verification requirements limit applicant pool.
Deep GPU/driver systems and formal verification expertise limit cross-industry transferability.
Explicit 12+ years and mandatory formal verification and tool expertise make filters highly strict.
Job Description
Structured overview of role & requirementsAbout 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.