1 day ago
Bengaluru, IndiaSenior
Responsibilities
- Define, architect, analyze, and develop functional safety software for GPU, DLA, and other Tegra compute engines.
- Define and establish company-wide processes for formal verification of software architecture and user-mode driver designs.
- Develop initiatives for formal verification of software interacting with parallel compute engines.
- Mentor other engineers and promote high-quality software development practices.
Requirements
- Bachelor’s, master’s, or PhD degree in computer science or a related field, or equivalent experience.
- At least 12 years of experience in complex software development, design, and analysis.
- Deep understanding of computer architecture and operating-system fundamentals.
- Solid background in formal verification methodologies and functional programming.
- Hands-on experience with Lean 4, TLA+, Haskell, Coq/Rocq, or related paradigms.
- Passion for high-quality software engineering and strong collaboration and self-motivation.
- Preferred experience includes parallel programming with CUDA, OpenCL, or Renderscript.
- Preferred experience includes deep learning frameworks such as PyTorch, TensorFlow, or ONNX.
- Preferred experience includes software for DLA, NPU, ISP, DSP, or other special-purpose hardware.
- Preferred experience includes formal verification in production software, safety-critical software, and software audits.
About Nvidia
Nvidia designs and sells GPUs and accelerated computing platforms for data centers, AI/ML, graphics, gaming, and automotive, monetizing through hardware, software platforms (CUDA, AI frameworks), and systems like DGX and networking. Customers include cloud providers, enterprises, researchers, and OEMs. Founded in 1993 and headquartered in Santa Clara, it is a public company traded on NASDAQ under NVDA.