Senior System Software Engineer - Halos

What you'll do

• Architect, develop, debug, and optimize OS, BSP, boot, driver, networking, diagnostics, and platform software across QNX, Linux, and hypervisor environments.
• Develop safe, secure, and high-integrity software, including I/O virtualization for mixed-criticality systems, and bring up next-generation NVIDIA platforms.
• Use AI-assisted engineering tools and resolve kernel-level and automotive networking issues, including integration of external Ethernet switching technology.

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, operating system fundamentals, and networking.
• Proficiency in Python/C and/or Ada/SPARK, practical experience with AI-assisted development tools, and hands-on experience with debugging, performance analysis, system/network analysis, and platform bring-up.

Nice to have

• In-depth embedded systems and RTOS knowledge, including QNX or RT Linux; ARM architecture and low-level software development for ARM v8-based SoCs.
• Ada/SPARK specification and formal verification, TLA+ modeling, or software development adhering 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, IEEE 1588 PTP, TSN, TLA+

AI focus

Develop and use GenAI and AI-assisted engineering tools to accelerate debugging, test development, code review, documentation, requirements analysis, and workflow automation.