We are looking for a talented Senior System Software Engineer to help build NVIDIA Halos, our full-stack safety platform for physical AI: autonomous vehicles, humanoids, industrial robots, and intelligent machines that sense, decide, and act in the real world. This role sits at the intersection of embedded systems, rich operating systems, safety, security, virtualization, and accelerated computing. 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, Automotive Networking Solutions, Time Synchronization, and experience with formal methods, we want to hear from you!
What you'll be doing:- Architect, design, develop, and debug system software for NVIDIA Halos OS across QNX, Linux, and hypervisor-based environments.
- Design and develop BSP, boot, driver, device-management, networking, diagnostics and platform software for NVIDIA SoCs and edge AI platforms.
- Develop safe and secure software in accordance with ISO 26262 and ISO 21434 standards.
- Bring up and optimize next-generation NVIDIA platforms, working closely with ASIC, firmware, OS, safety, security, platform teams and external vendors.
- Design & develop I/O Virtualization solutions for mixed-criticality systems
- Use Formal Methods to architect and develop high integrity software
- Develop and use GenAI and AI-assisted engineering tools to accelerate debugging, test development, code review, documentation, requirements analysis, and workflow automation.
- Resolve complex kernel-level issues and lead integration of external Ethernet switching technology for next-generation vehicle platforms.
What we need to see:- Bachelors/master's 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, operating system fundamentals, and Networking.
- Proficient programming and debugging abilities in Python/C and/or Ada/SPARK
- Practical experience using AI-assisted development tools for coding, debugging, testing, documentation, or workflow automation.
- Hands-on experience with debugging tools, performance analysis, system and Network analyzer tools and Platform bring up
- Deep expertise in automotive networking across Linux and QNX, including network stack optimization, multi-OS integration, IEEE 1588 PTP, TSN, hardware time-stamping, Ethernet switches, PHYs, and cross-layer debug.
- A dedicated, team and results oriented, self-motivated contributor with excellent analytical and interpersonal skills
Ways to stand out from the crowd:- 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 in software development adhering to ISO 26262 and ISO 21434 standards
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 for Level 4, and 224,000 USD - 356,500 USD for Level 5.
You will also be eligible for equity and benefits.
Applications for this job will be accepted at least until July 26, 2026.
This posting is for an existing vacancy.
NVIDIA uses AI tools in its recruiting processes.