Atom Feed
Costa Mesa, CA, USA
Senior Embedded NixOS Engineer building core infrastructure for electromagnetic warfare systems. Nix/NixOS with functional programming (Haskell), focusing on hardware bringup, build/deployment systems, and embedded Linux on AArch64.
Costa Mesa, CA, USA
Lead Mission Software Engineer building and leading the electronic warfare software team from the ground up. Haskell, Rust, C++, Go, TypeScript with Linux and Nix/NixOS, focusing on deployment infrastructure, systems integration, and field operational support.
Costa Mesa, CA, USA
Develop high-performance software interfaces for electronic warfare systems and integrate them with existing Lattice ecosystem.
Costa Mesa, CA, USA
Mission Software Engineer building electronic warfare platforms for defense. Haskell, Rust, C++, Go, TypeScript with Linux and Nix/NixOS, focusing on backend services, deployment infrastructure, and integration with AI-powered operating systems.
Costa Mesa, CA, USA
Embedded NixOS Engineer building core infrastructure for electromagnetic warfare systems. Nix/NixOS with functional programming (Haskell), focusing on hardware bringup, build/deployment systems, and embedded Linux on AArch64.
Costa Mesa, CA, USA
Senior Mission Software Engineer building next-generation electronic warfare platforms for defense. Haskell, Rust, C++, Go, TypeScript with Linux and Nix/NixOS, focusing on embedded systems, backend services, deployment infrastructure, and customer-facing applications. Based in Costa Mesa, CA.
Collingwood, Victoria, Australia
Software Engineer building a bespoke e-commerce platform for carry goods. Functional programming (preferably Haskell) with Nix and AWS, focusing on elegant, correct, and evolvable systems.
New York, NY, USA | Seattle, WA, USA | San Francisco, CA, USA
Formal methods engineer role building automated verification tools for smart contracts. Requires experience with model checking, SAT/SMT solving, and programming language theory.
Arlington, VA | Dayton, OH, USA | Minneapolis, MN, USA | Portland, OR, USA | Boston, MA, USA
Research Engineer advancing programming language theory and formal verification. Applying model checking, theorem proving, and Haskell to build high-assurance critical systems.
Stuttgart, Germany
Haskell developer role in a collaborative, model-driven team using GHCJS, optics, and optionally FRP or CouchDB. Emphasis on simplicity, creative problem-solving, and long-term growth. Welcomes non-traditional backgrounds with strong Haskell interest.
Freiburg im Breisgau, Germany
Haskell engineer role designing backend/frontend systems with STM, Conduits, and reactive data processing. Build distributed algorithms for real-time sync across devices. Emphasis on functional purity, profiling, and production delivery.