Back
Login to See Your Match Score
Create a free account or log in to unlock your CV match score across:
Tier-1 brand, metro location, mid-level experience but niche embedded specialization reduces applicant density.
Specialized embedded systems, RTOS, Ada/SPARK, and automotive safety standards strongly limit transferable backgrounds.
Explicit 5+ years, RTOS/embedded, C/Ada and formal-methods requirements make filtering highly strict.
Design, develop, and debug system software for NVIDIA Halos OS across QNX, Linux, and hypervisor environments focusing on safety and security compliance.
Build BSP, boot, driver, device-management, diagnostics, platform software and I/O virtualization solutions for NVIDIA SoCs and edge AI platforms.
Optimize next-generation NVIDIA platforms using formal methods and AI-assisted tools; mentor junior engineers.
Bachelor's/Master's degree or equivalent experience in Computer Science.
5+ years in system software architecture and development for real-time embedded systems.
Strong C and/or Ada/SPARK programming skills with debugging experience.
Experience with AI-assisted development tools and compliance with ISO 26262 and ISO 21434 standards.
Experienced with embedded systems and real-time OS such as QNX and RT Linux.
Good knowledge of ARM architecture, low-level software development on ARM v8 SoCs.
Background in formal verification methods (Ada/SPARK, TLA+) and architectural safety/security analysis.