Senior System Software Engineer - Halos Core and Robotics Platform

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. You will architect, design, develop, and debug system software for NVIDIA Halos OS across QNX, Linux, and hypervisor-based environments.

Responsibilities:

• Design and develop BSP, boot, driver, device-management, diagnostics, and platform software for NVIDIA SoCs and edge AI platforms.
• Develop I/O Virtualization solutions for mixed-criticality systems.
• Create safe and secure software compliant with ISO 26262 and ISO 21434 standards.
• Optimize next-generation NVIDIA platforms with ASIC, firmware, OS, safety, security, and platform teams.
• Utilize Formal Methods for high integrity software development.
• Leverage GenAI and AI-assisted engineering tools for debugging, test development, code review, and workflow automation.
• Design solutions for debugging, tracing, logging, and performance analysis.

Requirements:

• Bachelor's/Master's degree in Computer Science or equivalent experience.
• 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 with complex system problem-solving.
• Proficiency in C and/or Ada/SPARK programming and debugging.
• Practical experience with AI-assisted development tools.
• Hands-on experience with debugging tools and performance analysis.

Preferred qualifications:

• In-depth knowledge of embedded systems and real-time operating systems like QNX and RT Linux.
• Understanding of ARM architecture and low-level software development for ARM v8-based SoCs.
• Experience with Ada/SPARK programming and formal verification.
• Familiarity with TLA+ formal verification modeling.
• Experience with architectural safety analysis (FMEA/DFA) and security analysis (Threat modeling).
• Experience with Software Development Life Cycle (SDLC) practices.

Benefits:

• Equity eligibility
• Comprehensive benefits package