Back
Tier-1 employer and metro locations increase competition, but specialized senior embedded role reduces applicant density.
Strong embedded, automotive safety, and formal-methods requirements limit cross-industry transferability of candidates.
Explicit 8+ years plus mandatory RTOS, Ada/SPARK, ISO26262, formal methods and low-level skills makes shortlisting strict.
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 across QNX, Linux, and hypervisor environments.
Develop BSP, boot, driver, device-management, diagnostics, and platform software for NVIDIA SoCs and edge AI platforms, including I/O virtualization solutions for mixed-criticality systems.
Develop safe and secure software compliant with ISO 26262 and ISO 21434, use formal methods and AI-assisted engineering tools, and 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.
Work Experience Required: 8+ years in relevant field.
Deep expertise in embedded systems and real-time OS like QNX and RT Linux, plus ARM architecture low-level programming.
Experience with formal methods, including Ada/SPARK programming, TLA+ formal verification, and architectural safety/security analysis (FMEA/DFA, Threat modeling).
Proven ability to develop software compliant with ISO 26262 and ISO 21434 safety and security standards.