Senior Compute System Software Engineer
NVIDIA
- Experience
- 12+ yrs
- Location
- Bengaluru, Karnataka, India
- Job type
- Full-time
Required skills
- LEAN4
- TLA+
- Haskell
- Coq
- Rocq
- CUDA
- OpenCL
- Renderscript
- Pytorch
- TensorFlow
- ONNX
About the role
BS/MS/PhD in Computer Science or related field; 12+ years complex software development; deep understanding of computer architecture and OS; formal verification and functional programming experience with LEAN4, TLA+, Haskell, Coq/Rocq.
About NVIDIA
Computing platform company for AI and accelerated graphics.
This page is fully interactive when JavaScript is enabled. Please enable JavaScript to apply or browse related roles.
