Senior System Software Engineer - Halos
$184,000–$287,500 year
On-siteSanta Clara, California, United States
Job Summary
Architect, design, develop, and debug system software for NVIDIA Halos OS across QNX, Linux, and hypervisor-based environments. Design BSP, boot, driver, device-management, networking, and diagnostics software for NVIDIA SoCs and edge AI platforms. Develop safe and secure software adhering to ISO 26262 and ISO 21434 standards while using formal methods to ensure high integrity. Bring up and optimize next-generation NVIDIA platforms, integrating external Ethernet switching technology and leveraging GenAI tools to accelerate debugging and workflow automation. Resolve complex kernel-level issues and design I/O virtualization solutions for mixed-criticality systems.
Required Qualifications
- Bachelors/master's or equivalent experience in Computer Science
- 8+ years of experience in System Software architecture and development for real time embedded systems
- Strong understanding of computer architecture, operating system fundamentals, and Networking
- Proficient programming and debugging abilities in Python/C and/or Ada/SPARK
- Practical experience using AI-assisted development tools for coding, debugging, testing, documentation, or workflow automation
- Hands-on experience with debugging tools, performance analysis, system and Network analyzer tools and Platform bring up
- Deep expertise in automotive networking across Linux and QNX, including network stack optimization, multi-OS integration, IEEE 1588 PTP, TSN, hardware time-stamping, Ethernet switches, PHYs, and cross-layer debug
- A dedicated, team and results oriented, self-motivated contributor with excellent analytical and interpersonal skills
Desired Qualifications
- In-depth knowledge of embedded systems and real time operating systems, like QNX and RT Linux skills
- Good understanding of ARM architecture and low-level software development for ARM v8 based SOCs
- Prior hands-on experience in Ada/SPARK programming (including specification and formal verification) and TLA+ formal verification modeling
- Experience in software development adhering to ISO 26262 and ISO 21434 standards
Hiring someone like this?
Get your role in front of qualified candidates on Sorce.