We have an exciting opportunity for a talented Senior System Software Engineer to join our dynamic Automotive Team and help us develop innovative, secure, and high-performance automotive systems. If you have a good understanding of System Software development on Real Time OS (RTOS), ARM architecture, Virtualization, strong C and/or Ada/SPARK programming skills, and experience with formal methods, we want to hear from you! Join us in creating the future of automotive technology and be part of a team that is revolutionizing the industry. We are making extensive use of formal methods to automate our work flow and increase the quality of our SW. We are a leading artificial intelligence computing company and are paving the way with innovations in gaming, visualization, supercomputing, and self-driving cars. NVIDIA gives automakers, tier-1 suppliers, automotive research institutions, and start-ups the power and flexibility to develop and deploy breakthrough artificial intelligence systems for self-driving vehicles. Our unified computing architecture makes it possible to train deep neural networks in the data center on the NVIDIA DGX™, and then seamlessly run them on NVIDIA's DRIVE platform inside the vehicle. Leading vehicle manufacturers, tier 1 suppliers, mapping and simulation companies, software and sensor providers, and startups around the world are developing on the NVIDIA DRIVE® platform to deliver the best solutions for the new world of mobility. As a System Software Architect in the Automotive team, you will get an opportunity to work on NVIDIA's latest SOCs, help tackle complex and important problems, and work alongside industry experts in diverse teams and projects.