Software Engineer - Embedded NixOS

About the role

You'll work on a mix of traditional embedded Linux and NixOS system development work. Your main responsibility will be setting up, deploying, and debugging embedded NixOS systems — both on a small scale for R&D purposes, and on a large scale for production military hardware, most prominently for recce-strike drones in Ukraine.

What you'll need

• Deep knowledge of GNU/Linux system development — e.g. opinions on bootloaders, using gdb and strace in day-to-day debugging, and familiarity with C calling conventions.
• Excellent knowledge of and experience with NixOS, either in a FOSS or professional context.
• Experience with low-level/system programming in C, C++ or (preferably) Rust.
• Knowledge of embedded Linux technologies, e.g. kernel development, device trees, ARM architectures.
• Knowledge of network protocols, in particular the Internet protocol stack (e.g. IP, TCP, UDP, TLS, Wireguard).
• Knowledge of OS-level security engineering in the Linux ecosystem, e.g. UEFI Secure Boot, LUKS, dm-verity.

Nice to have

• Hands-on experience with porting NixOS to pre-existing embedded systems.
• Professional experience with developing high-stakes, safety critical embedded systems, such as in aerospace.
• Experience with "traditional" embedded Linux development, such as Yocto, postmarketOS, or low-level Android/AOSP development.
• Knowledge of setting up and maintaining cross-compilation of Nix packages.
• Experience with developing and debugging UEFI systems.

What they offer

• Competitive compensation and stock options
• Relocation support
• Social and education allowances
• Regular company events and all-hands across Europe
• Hands-on onboarding program ("Infraduction") working with engineering teams from day one