What we need to see
BS/MS/PhD degree in Computer Science or related field or equivalent experience
Passionate about high quality software engineering, and a desire to contribute towards creating better software
Deep understanding of computer architecture, OS fundamentals
Solid background in formal verification methodologies, functional programming
Hands on experience with LEAN4, TLA+, Haskell, Coq/Rocq or related paradigms
12+ years of proven experience in complex software development, design, and analysis
Strong teammate; self-motivated and good demeanor
A strong desire to learn, grow and create
Ways to stand out from the crowd
Background with Parallel Programming, particularly in CUDA, OpenCL, or Renderscript
Previous experience working on Deep learning frameworks including Pytorch, TensorFlow, ONNX
Prior experience in working on special purpose or fixed functionality HW like DLA, NPU, ISP, DSP.
Prior experience in Formal verification, functional programming, LEAN4, TLA+, Haskell in a production software development environment
Prior experience with developing safety critical software, or hardening and taking complex software through software audits
NVIDIA is committed to cultivating a diverse work environment and proud to be an equal opportunity employer. As we highly value diversity in our current and future employees, we do not discriminate (including in our hiring and promotion practices) on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, veteran status, disability status or any other characteristic protected by law.
