Back
Tier-1 brand and metro locations increase competition despite niche embedded safety and formal-methods specialization.
Highly specialized embedded systems, RTOS, ISO 26262, and formal-methods skills limit cross-industry transferability.
Explicit 8+ years and mandatory embedded, safety, Ada/SPARK, and formal-methods requirements enforce strict shortlisting.
Login to See Your Match Score
Create a free account or log in to unlock your CV match score across:
Architect, design, develop, and debug system software for NVIDIA Halos OS on QNX, Linux, and hypervisor environments.
Develop BSP, boot, driver, diagnostics, I/O virtualization, and platform software for NVIDIA SoCs and edge AI platforms, ensuring compliance with ISO 26262 and ISO 21434 standards.
Optimize NVIDIA platforms by collaborating with ASIC, firmware, OS, safety, security, and platform teams; mentor junior engineers.
Bachelor's or 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 C and/or Ada/SPARK programming and debugging skills.
Practical experience with AI-assisted development tools and hands-on debugging, performance analysis, and system analyzer tools.
Expertise in embedded systems and real-time operating systems such as QNX and RT Linux.
Strong understanding of ARM architecture and low-level software development for ARM v8 based SoCs.
Experience with formal methods (Ada/SPARK, TLA+), architectural safety (FMEA/DFA), security analysis (Threat modeling), and ISO 26262 compliance.