Senior Embedded Linux Software Engineer, Robotics Platform (DeviceOS)

What you'll do

• Own the end-to-end boot sequence including firmware, U-Boot/UEFI, kernel images, and encrypted storage unlock.
• Customize and maintain vendor BSPs to ensure compatibility with modern NixOS package sets.
• Write kernel drivers and device tree patches to ensure deterministic hardware enumeration and operation.
• Triage and remediate kernel CVEs and firmware regressions on deployed hardware in the field.
• Build and maintain automated Hardware-in-the-Loop (HIL) test suites to validate platform stability.
• Perform root-cause analysis on bus errors, thermal issues, and kernel panics using logic analyzers and schematics.
• Produce and forward-port upstream patches for kernel and vendor BSP issues.

What we're looking for

• 4+ years of professional experience in embedded Linux platform sustainment or kernel-adjacent integration.
• Deep understanding of the embedded Linux boot chain, including firmware, bootloaders, device trees, and root filesystem assembly.
• Strong programming skills in C for kernel/driver development and proficiency in Rust or C++ for userspace integration.
• Hands-on experience debugging hardware at the bench using serial consoles, schematics, and component datasheets.
• Experience maintaining software on real-world hardware where updates must be safe, resilient to bricking, and strictly validated.
• U.S. Person status is required due to export control regulations (ITAR/EAR).
• Eligibility to obtain and maintain a U.S. security clearance.
• Experience with Nix/NixOS, NVIDIA Jetson/Tegra, or low-level platform security is preferred (preferred).