Senior Compute System Software Engineer
Core
Define, architect, analyze, and develop functional safety software for GPU, DLA, and other Tegra compute engines; establish company-wide processes for formal verification of software architecture and user-mode driver designs.
Role type
Senior IC compute system software engineer (functional safety & formal verification)
Builds
Functional safety software for parallel compute engines (GPU, DLA) and verified driver architectures
Domain
Embedded systems / High-performance computing / Functional safety
Deliverable
production ML models | product features | infrastructure
Required skills
Computer architecture, Operating-system fundamentals, Formal verification methodologies, Functional programming, Lean 4, TLA+, Haskell, Coq/Rocq
Preferred skills
Parallel programming (CUDA, OpenCL, Renderscript), Deep learning frameworks (PyTorch, TensorFlow, ONNX), Special-purpose hardware software (DLA, NPU, ISP, DSP), Production safety-critical software audits
Technologies
Lean 4, TLA+, Haskell, Coq/Rocq, CUDA, OpenCL, Renderscript, PyTorch, TensorFlow, ONNX
Responsibilities
Define and architect functional safety software for compute engines; Establish formal verification processes for software architecture and driver designs; Develop initiatives for verifying software interacting with parallel compute engines; Mentor engineers and promote high-quality software development practices
