Senior System Software Engineer - Halos Core and Robotics Platform

NVIDIA Gruppe; Santa Clara (CA); On-site; USD 184,000 - 356,500; Full time

Benefits offered by this job

Equity

Benefits

Job summary

NVIDIA seeks an experienced Senior System Software Engineer to build the Halos OS for embedded and edge AI platforms. You will architect, design, and debug across QNX, Linux, and hypervisor environments, delivering safe, high‑assurance software for mixed‑criticality systems.

You will develop BSP, I/O virtualization, and platform drivers, leveraging formal methods to meet ISO 26262/21434 standards, and collaborate with ASIC, firmware, safety, security, and platform teams to optimize next‑gen

Qualifications

• Bachelor’s/Master’s or equivalent experience in Computer Science.
• 8+ years of experience in System Software architecture for real-time embedded systems.
• Strong C and/or Ada/SPARK programming and debugging skills.
• Experience with AI-assisted development tools for coding, debugging, testing, documentation, or workflow automation.

Responsibilities

• Architect, design, develop, and debug system software for NVIDIA Halos OS across QNX, Linux, and hypervisor-based environments.
• Design and develop BSP and I/O Virtualization solutions, boot, driver, diagnostics, and platform software for mixed-criticality systems on NVIDIA SoCs and edge AI platforms.
• Develop safe and secure software aligned with ISO 26262 and ISO 21434 standards by maximising the use of Formal Methods.
• Bring up and optimise next-generation NVIDIA platforms, working closely with ASIC, firmware, OS, safety, security, and platform teams.
• 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.

Skills

C programming

Ada/SPARK

RTOS experience

Formal methods

ISO 26262 / ISO 21434 knowledge

Debugging tools

Performance analysis

Team collaboration

Education

Bachelor’s/Master’s in CS

Tools

QNX

Linux

Hypervisor environments

ARMv8 SoCs

Job description

We are looking for an experienced Senior System Software Engineer to help build NVIDIA Halos. Halos is 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!

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 and I/O Virtualization solutions, boot, driver, diagnostics, and platform software for mixed‑criticality systems on NVIDIA SoCs and edge AI platforms.
• Develop safe and secure software aligned with ISO 26262 and ISO 21434 standards by maximising the use of Formal Methods.
• Bring up and optimise next‑generation NVIDIA platforms, working closely with ASIC, firmware, OS, safety, security, and platform teams.
• 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:

• Bachelor’s/Master’s or equivalent experience in Computer Science.
• 8+ years of experience in System Software architecture, developing solutions for complex system problems, and development for real‑time embedded systems.
• Strong understanding of computer architecture and operating system fundamentals.
• 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 modelling.
• Background in software development in compliance with ISO 26262 and ISO 21434 standards.

Widely considered to be one of the technology world’s most desirable employers, NVIDIA offers highly competitive salaries and a comprehensive benefits package. 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.

NVIDIA is committed to fostering an inclusive work environment and proud to be an equal opportunity employer. We do not discriminate 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.