Senior System Software Engineer - Halos Core and Robotics Platform
Core
Building NVIDIA Halos, a full-stack safety platform for physical AI including autonomous vehicles, humanoids, and industrial robots.
Role type
Senior System Software Engineer (Embedded/RTOS)
Builds
High-performance NVIDIA edge AI platforms running mixed-criticality software stacks.
Domain
Automotive safety, embedded systems, real-time operating systems, accelerated computing.
Deliverable
production ML models
Required skills
System software architecture, Real Time OS (RTOS), ARM architecture, C programming, Ada/SPARK programming, Formal methods, Virtualization, Safety compliance (ISO 26262/21434), Debugging tools, Performance analysis.
Preferred skills
QNX, RT Linux, ARM v8 SOCs, TLA+ formal verification, FMEA/DFA, Threat modeling.
Technologies
QNX, Linux, Hypervisors, NVIDIA SoCs, Ada/SPARK, TLA+, GenAI tools.
Responsibilities
Design and develop BSP, boot, driver, and device-management software; Develop I/O Virtualization solutions for mixed-criticality systems; Architect high integrity software using Formal Methods; Mentor junior engineers.
Seniority
Senior, hands-on IC
