Senior System Software Engineer - Halos Core and Robotics Platform

Job Title

Senior System Software Engineer - Halos Core and Robotics Platform

Role Summary

Join the Halos Core and Robotics Platform team to design and implement system software for safety-critical physical AI platforms (autonomous vehicles, robots, and intelligent machines). The role spans embedded and rich OS environments, virtualization, security, and accelerated computing, working closely with ASIC, firmware, OS, safety, and platform teams.

Experience Level

Senior — experienced individual contributor. The posting specifies 8+ years of system software architecture and development experience.

Responsibilities

Primary responsibilities include system software architecture, platform bring-up, and building safe and verifiable software for NVIDIA Halos across RTOS and Linux/hypervisor environments.

• Architect, design, implement, and debug system software for Halos OS across QNX, Linux, and hypervisor-based environments.
• Design and develop BSP, boot, drivers, device management, diagnostics, and platform software for NVIDIA SoCs and edge AI platforms.
• Design and implement I/O virtualization solutions for mixed-criticality systems.
• Develop software compliant with automotive safety and security standards (ISO 26262, ISO 21434).
• Bring up and optimize next-generation platforms in collaboration with ASIC, firmware, OS, safety, security, and platform teams.
• Apply formal methods to architect and develop high-integrity software and perform formal verification work where appropriate.
• Design debugging, tracing, logging, and performance-analysis solutions to improve developer productivity.
• Use AI-assisted engineering tools to accelerate debugging, testing, code review, documentation, requirements analysis, and automation.

Requirements

Must-have skills, technologies, and experience required for this role.

• 8+ years of system software architecture and development for real-time embedded systems.
• Strong understanding of computer architecture and operating system fundamentals.
• Strong programming and debugging skills in C and/or Ada/SPARK.
• 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.
• Experience with formal methods and high-integrity software development.
• Effective team player with strong analytical and interpersonal skills.

Nice-to-have / differentiators:

• Deep experience with QNX and real-time Linux.
• Low-level ARM architecture experience and development for ARMv8-based SoCs.
• Prior hands-on Ada/SPARK development, specification, and formal verification; familiarity with TLA+ modeling.
• Experience in architectural safety analysis (FMEA/DFA) and security analysis (threat modeling).
• Proven experience taking features from inception to product following SDLC practices.

Education Requirements

Bachelor's or Master's degree in Computer Science or equivalent practical experience. (The posting explicitly allows equivalent experience.)

About the Company

Company: NVIDIA

Headquarters: Santa Clara, California, USA

NVIDIA is a global leader in accelerated computing, renowned for its innovative solutions in AI and digital twins that transform diverse industries. The company specializes in networking technologies, providing end-to-end InfiniBand and Ethernet solutions for servers and storage that optimize performance and scalability. NVIDIA serves sectors such as high-performance computing, enterprise data centers, and cloud computing, constantly reinventing its products and services to stay ahead in the market.