Back
Tier-1 brand and metro location increase applicant density, though role is niche and senior.
Specialized embedded, RTOS, safety, and formal-methods skills limit cross-industry transferability.
Explicit 8+ years, mandatory embedded, safety, and formal-methods skills make filtering stringent.
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-based environments.
Design and develop BSP, boot, driver, device-management, diagnostics, I/O virtualization, and platform software for NVIDIA SoCs and edge AI platforms.
Develop safe and secure software compliant with ISO 26262 and ISO 21434 standards, and use Formal Methods to build high integrity software.
Bachelor’s or Master’s degree (or equivalent) in Computer Science.
8+ years of experience in system software architecture and development for real-time embedded systems.
Strong proficiency in C and/or Ada/SPARK programming and debugging skills.
Experience with real-time OS, ARM architecture, virtualization, and using AI-assisted development tools.
Deep expertise in embedded real-time operating systems like QNX and RT Linux, and ARM v8 based SoC low-level software development.
Experience performing architectural safety (FMEA/DFA) and security (threat modeling) analysis, and compliance with ISO 26262.
Strong background in formal methods, Ada/SPARK programming and formal verification, plus practical debugging and performance analysis skills.