Senior System Software Engineer - Halos Core and Robotics Platform

What you'll do

• Architect, develop, debug, and optimize system software, BSPs, boot, drivers, device management, diagnostics, and platform software across QNX, Linux, and hypervisor-based environments.
• Develop I/O virtualization and safe, secure software for NVIDIA SoCs and edge AI platforms, including software compliant with ISO 26262 and ISO 21434.
• Apply formal methods and AI-assisted engineering tools; develop debugging, tracing, logging, and performance-analysis solutions.

What they ask for

• Bachelor’s/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 C and/or Ada/SPARK programming and debugging skills; understanding of computer architecture and operating system fundamentals.
• Practical experience using AI-assisted development tools and hands-on experience with debugging, performance-analysis, and system-analyzer tools.

Nice to have

• In-depth embedded and RTOS knowledge, including QNX or RT Linux; ARM v8-based SoC development experience.
• Ada/SPARK specification and formal verification, TLA+ modeling, safety or security analysis, or experience taking features through the SDLC.

Pay

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

Tools

QNX, Linux, ARM, C, Ada/SPARK, TLA+, ISO 26262, ISO 21434

AI focus

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