Senior System Software Engineer - QNX BSP and IOs Virtualization at NVIDIA

You're a seasoned System Software Engineer with a strong background in Real Time OS, ARM architecture, and C/Ada/SPARK programming. A Bachelor's or Master's degree in Computer Science, or equivalent experience, is required, along with 8+ years in system software architecture and development for embedded systems. **What makes it worth a look...** This full-time, on-site role in Bengaluru, India with NVIDIA offers the chance to architect and develop safety and security-compliant system software for autonomous vehicles, working on cutting-edge SOCs and extensive use of formal methods. **You might be a good fit if you...** * Possess strong C and/or Ada/SPARK programming and debugging skills. * Have hands-on experience with performance analysis and system analyzer tools. * Understand computer architecture and operating system fundamentals. * Have experience with formal methods for software development.