Senior System Software Engineer - Halos Core and Robotics Platform

What you'll do

• Architect, develop, debug, and optimize platform software across QNX, Linux, and hypervisor-based environments, including BSP, boot, drivers, and device management.
• Develop safe and secure software, I/O virtualization, and high-integrity software using formal methods.
• Build debugging, tracing, analysis, and AI-assisted engineering solutions for platform development.

What they ask for

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

Nice to have

• In-depth embedded systems and RTOS knowledge, including QNX or RT Linux, and ARM v8-based SoCs.
• Hands-on Ada/SPARK and TLA+ formal verification experience; background developing to 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, Python, C, Ada/SPARK, TLA+, ARM v8, RT Linux

AI focus

Develop and use GenAI and AI-assisted engineering tools for debugging, test development, code review, documentation, requirements analysis, and workflow automation; practical experience with AI-assisted development tools is required.