Senior System Software Engineer - Halos Core and Robotics Platform

What you'll do

• Design, develop, and debug Halos OS software across QNX, Linux, and hypervisors, including BSP, I/O virtualization, boot, drivers, diagnostics, and platform software.
• Bring up and optimize NVIDIA platforms and develop safe, secure software aligned with ISO 26262 and ISO 21434, using formal methods.
• Create debugging, tracing, logging, and performance-analysis solutions; use AI-assisted tools to accelerate engineering workflows.

What they ask for

• Bachelor’s/Master’s degree or equivalent experience in Computer Science.
• 8+ years in system software architecture, complex system problem-solving, and real-time embedded systems development.
• Strong understanding of computer architecture and operating-system fundamentals.
• Strong C and/or Ada/SPARK programming and debugging skills; practical experience with AI-assisted development tools and debugging/performance-analysis tools.

Nice to have

• In-depth embedded and RTOS knowledge, such as QNX and RT Linux; ARM architecture and ARM v8-based SoCs.
• Ada/SPARK specification and formal verification, TLA+ modeling, or software development compliant with ISO 26262 and ISO 21434.

Pay

184,000 USD - 287,500 USD base salary (Level 4); 224,000 USD - 356,500 USD base salary (Level 5)

Tools

QNX, Linux, hypervisor, NVIDIA SoCs, C, Ada/SPARK, ARM v8, TLA+

AI focus

Builds safety software for physical AI platforms and uses GenAI and AI-assisted engineering tools for debugging, testing, code review, documentation, requirements analysis, and workflow automation.