Back
Tier-1 employer and Bangalore location increase competition, but senior level and niche embedded safety skills limit applicant density.
Strong embedded systems, RTOS, safety standards, and Ada/SPARK requirements limit cross-industry transferability.
Explicit 8+ years, mandatory embedded/RTOS, ISO26262, Ada/SPARK and formal methods make filters 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, and platform software for NVIDIA SoCs and edge AI platforms with focus on safety and security compliance (ISO 26262, ISO 21434).
Optimize next-generation NVIDIA platforms, collaborate across ASIC, firmware, OS, safety, security, and platform teams, and use Formal Methods plus AI-assisted engineering tools to improve software quality and development workflows.
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 skills in C and/or Ada/SPARK; experience with RTOS, debugging tools, and system performance analysis.
Practical experience with AI-assisted development tools and knowledge of computer architecture and OS fundamentals.
Experience with 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.
Background in formal verification methods (Ada/SPARK, TLA+), safety (FMEA/DFA), security analysis (Threat modeling), and software development compliant with ISO 26262 standards.