Description
We're seeking a Principal Embedded Software Engineer to join our Electromagnetic Warfare (EW) team. As a lead Haskell engineer, you'll work with EW leadership to craft our software roadmap, design large-scale systems using functional programming and algebra-driven design principles, and build teams to execute our shared vision.
Your responsibilities will include leading teams of Haskell developers to implement high-performance, high-assurance software systems, participating in EW technology roadmapping, software architecture, and holistic design review processes, and building teams to scale the execution of our proven FP-based software development approach.
To be successful in this role, you'll need experience building and leading teams dedicated to the functional programming approach, eligibility to obtain and maintain an active U.S. Top Secret SCI security clearance, and the ability to relocate to and work in person in our RF laboratory in Orange County, California.
Preferred qualifications include experience working with typed functional programming languages, such as Haskell, Scala, F#, OCaml, or Rust, experience with MATLAB, especially C code generation, experience with Nix/NixOS, experience with Linux kernel module development, experience with graphics programming, and experience with FPGA development.