Back
Tier-1 brand and Bangalore metro increase competition, but niche embedded safety and formal-methods skills moderate applicant density.
Highly specialized RTOS, embedded safety, ISO 26262, and formal-methods requirements limit cross-industry transferability.
Explicit 8+ years plus mandatory low-level, safety, and formal-methods skills create strict screening filters.
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 hypervisors across NVIDIA SoCs and edge AI platforms.
Design and implement BSP, boot, driver, device-management, diagnostics, virtualization, and platform software, ensuring compliance with ISO 26262 and ISO 21434 safety and security standards.
Optimize next-generation NVIDIA platforms collaborating with ASIC, firmware, OS, safety, security, and platform teams; leverage Formal Methods and AI-assisted engineering tools; 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 programming and debugging skills in C and/or Ada/SPARK.
Experience with embedded/RTOS system software development, including ARM architecture and virtualization.
Deep expertise in real-time embedded systems and OS fundamentals, with hands-on experience in QNX, RT Linux, or similar RTOS.
Prior experience developing safety-critical software aligned with ISO 26262 and ISO 21434 standards, including formal verification methods (e.g., Ada/SPARK, TLA+).
Strong background in architectural safety/security analysis and ability to handle complex software stacks spanning multiple components and partitions.