- NVIDIA (Santa Clara, CA)
- …and firmware engineers to optimize performance and maximize the potential of crucial middleware NvSci APIs. + Lead end-to-end feature development for NvSci that ... We are searching for a creative and highly motivated engineer with expertise in system software to join our...Experience with formal verification methods and tools, such as Ada/ SPARK and TLA+. + Experience in process automation and… more