Senior System Software Architect, Halos Core and Robotics Platform

What you'll do

• Architect, design, develop, and debug system software for NVIDIA Halos OS across QNX, Linux, and hypervisor environments.
• Design and develop BSP, boot, driver, device-management, diagnostics, and platform software for NVIDIA SoCs.
• Develop I/O Virtualization solutions for mixed-criticality systems.
• Develop safe and secure software compliant with ISO 26262 and ISO 21434 standards.
• Bring up and optimize next-generation NVIDIA platforms in collaboration with ASIC, firmware, and safety teams.
• Use Formal Methods to architect and develop high-integrity software.
• Utilize GenAI and AI-assisted engineering tools to accelerate debugging, testing, and workflow automation.
• Design debugging, tracing, logging, and performance-analysis solutions to improve developer experience.

What we're looking for

• Bachelor's or Master's degree in Computer Science or equivalent experience.
• 12+ years of experience in system software architecture 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.
• Experience designing and developing solutions for complex system problems.
• 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.
• In-depth knowledge of embedded systems and RTOS like QNX and RT Linux (preferred).
• Good understanding of ARM architecture and low-level software development for ARM v8 based SOCs (preferred).
• Prior hands-on experience in Ada/SPARK programming and TLA+ formal verification modeling (preferred).
• Experience performing architectural safety analysis (FMEA/DFA) and security analysis (Threat modeling) (preferred).
• Experience taking features from inception to product following SDLC practices (preferred).