Job description

We are looking for a versatile 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, and experience with formal methods, we want to hear from you! We are a leading artificial intelligence computing company, paving the way with innovations in gaming, visualization, supercomputing, and autonomous vehicle and robotics safety platforms. NVIDIA gives automakers, tier-1 suppliers, automotive research institutions, and startups the power and flexibility to develop and deploy breakthrough artificial intelligence systems for autonomous vehicles. Our unified computing architecture enables training deep neural networks in the data center on the NVIDIA DGX™, and then seamlessly running them on NVIDIA's Halos 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 Halos® platform to deliver the best solutions for the new world of mobility. 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, diagnostics, and platform software for NVIDIA SoCs and edge AI platforms. • Design & develop I/O Virtualization solutions for mixed-criticality systems • Develop safe and secure software compliant with ISO 26262 and ISO 21434 standards. • Bring up and optimize next-generation NVIDIA platforms, working closely with ASIC, firmware, OS, safety, security, and platform teams. • Use Formal Methods to architect and develop high integrity software • Use GenAI and AI-assisted engineering tools to accelerate debugging, test development, code review, documentation, requirements analysis, and workflow automation. • Design debugging, tracing, logging, and performance-analysis solutions that improve developer experience What we need to see: • 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 • Practical experience using AI-assisted development tools for coding, debugging, testing, documentation, or workflow automation. • Hands-on experience with debugging tools, performance analysis, and system analyzer tools • 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 performing architectural safety analysis (FMEA/DFA) and security analysis (Threat modeling) • Experience taking features from inception to product 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 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 August 23, 2026. This posting is for an existing vacancy. NVIDIA uses AI tools in its recruiting processes. NVIDIA is committed to fostering an inclusive 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.

Requirements

Must-haves

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, diagnostics, and platform software for NVIDIA SoCs and edge AI platforms.
Design & develop I/O Virtualization solutions for mixed-criticality systems
Develop safe and secure software compliant with ISO 26262 and ISO 21434 standards.
Bring up and optimize next-generation NVIDIA platforms, working closely with ASIC, firmware, OS, safety, security, and platform teams.
Use Formal Methods to architect and develop high integrity software
Use GenAI and AI-assisted engineering tools to accelerate debugging, test development, code review, documentation, requirements analysis, and workflow automation.
Design debugging, tracing, logging, and performance-analysis solutions that improve developer experience
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
Practical experience using AI-assisted development tools for coding, debugging, testing, documentation, or workflow automation.
Hands-on experience with debugging tools, performance analysis, and system analyzer 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)
Experience taking features from inception to product following Software Development Life Cycle (SDLC) practices
You will also be eligible for equity and benefits .
Applications for this job will be accepted at least until August 23, 2026.
This posting is for an existing vacancy.

Nice-to-haves

None flagged.

Application prep

Use the role’s language and application details while tailoring your materials.

Keywords to mirror

Platform: eightfold
Effort: medium