Senior System Software Engineer - QNX BSP and IO Virtualization

Senior System Software Engineer - QNX BSP and IO Virtualization

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.

• Architect, design and develop safety (ISO
  26262) and security (ISO
  21434) compliant system software for NVIDIA DRIVE platform for autonomous vehicles
• Architect, design and develop Real Time System Software features for NVIDIA Tegra SOC
• Design & develop I/O Virtualization solutions for NVIDIA Tegra SOC
• Development & bring-up activities for next-generation Tegra SOC
• Work with the ASIC teams to enhance SW performance and virtualization support in the SOC
• Extensively use Formal Methods to architect and develop high integrity software
• Design debugging solutions and tooling to improve developer experience on DRIVE platform
• Learn to harness maximum and consistent system software performance and develop workflows and tools to measure performance

• Bachelors/Masters or equivalent experience in Computer Science
• 8+ years of experience in System Software architecture and development for real time embedded systems
• Strong understanding of computer architecture and operating system fundamentals
• Experience in designing and developing solutions for complex system problems.
• Strong C and/or Ada/SPARK programming and debugging skills
• Hands‑on experience with performance analysis and system analyzer tools
• Hands‑on background with debugging tools
• A dedicated, team and results oriented, self-motivated contributor with excellent analytical and interpersonal skills

• In-depth knowledge of embedded systems and real time operating systems, like QNX and RT Linux skills
• Good understanding of ARM architecture and low level software development for ARM v8 based SOCs
• Prior hands‑on experience in Ada/SPARK programming (including specification and formal verification) and TLA+ formal verification modeling
• Experience performing architectural safety analysis (FMEA/DFA) and security analysis (Threat modeling)
• Background in software development in compliance to ISO 26262 standard following Software Development Life Cycle (SDLC) practices

Your base salary will be determined based on your location, experience, and the pay of employees in similar positions. The base salary range is 184,000 USD - 287,500 USD.

You will also be eligible for equity and benefits.

Applications for this job will be accepted at least until December 6, 2025.

JR2008841

NVIDIA is committed to fostering 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.