Senior Embedded NixOS Engineer
Core
Building core infrastructure for the Electromagnetic Warfare (EW) team's software supply chain, including build/deployment systems, NixOS bringup on custom hardware, and CI/CD roadmaps.
Role type
Senior Embedded NixOS Engineer
Builds
Software supply chain infrastructure, build/deployment pipelines, and NixOS images for embedded hardware.
Domain
Defense technology / Electromagnetic Warfare / Embedded Linux / FPGA
Deliverable
infrastructure
Required skills
Debugging custom hardware, enterprise build and deployment systems, image building for embedded Linux
Preferred skills
Nix/NixOS/Nixpkgs, typed functional programming (Haskell, Scala, F#, OCaml, Rust), AArch64 Embedded Linux product design, custom hardware drivers, Linux kernel module development, FPGA development, MATLAB C code generation
Technologies
NixOS, Nixpkgs, Linux kernel, FPGA, MATLAB, AArch64
Responsibilities
Work with electrical and FPGA engineers to bring up NixOS on hardware platforms; Implement build and deployment infrastructure for the software pipeline; Shape build, deployment, and CI/CD roadmaps.
Seniority
Senior, hands-on IC
