About the job
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.
Responsibilities
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.
Develop safe and secure software that follows 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.
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.
Design debugging, tracing, logging, and performance-analysis solutions that improve developer experience
Qualifications
Minimum
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 designing and developing complex system solutions, including virtualized system configurations
Strong Python/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, system analyzer tools and Platform bring up
A dedicated, team and results oriented, self-motivated contributor with excellent analytical and interpersonal skills
Preferred
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
Background in software development in compliance to ISO 26262 and ISO 21434 standards