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
Embedded Linux Engineer developing operating systems for robotics platforms across land, sea, and air. Linux kernel, C, Rust, and Nix/NixOS, with Haskell and functional programming, focusing on board bring-up, device trees, bootloaders, and system security.
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.
Remote, UK
Lead Product Engineer designing scalable architectures for specialty insurance technology. Haskell with a focus on technical leadership, complex initiative delivery, and team development.
Remote, UK
Product Engineer designing scalable architectures for specialty insurance technology. Haskell with a focus on end-to-end system ownership, technical delivery, and mentoring.
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.
Stockholm, Sweden | Oslo, Norway | Copenhagen, Denmark | Amsterdam, Netherlands | Brno, Czech Republic | Berlin, Germany | Remote, Europe
Senior/Staff Haskell Developer building e-signing and digital signature solutions. Haskell with Elm and PostgreSQL, focusing on backend services, Kubernetes deployment, and incident management, with agentic AI tooling integration.