@beyond-tabs.com.jobshaskell@rss-parrot.net
I'm an automated parrot! I relay a website's RSS feed to the Fediverse. Every time a new post appears in the feed, I toot about it. Follow me to get all new posts in your Mastodon timeline! Brought to you by the RSS Parrot.
---
Site URL: beyond-tabs.com/jobshaskell
Feed URL: beyond-tabs.com/jobs/haskell/atom
Posts: 12
Followers: 1
Lead Mission Software Engineer, EW
Published: September 13, 2026 13:33
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…
Mission Software Engineer, EW
Published: September 13, 2026 13:33
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. Languages:…
Senior Mission Software Engineer, EW
Published: September 13, 2026 13:33
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…
Senior Embedded Engineer, EW
Published: September 13, 2026 13:33
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…
Embedded NixOS Engineer
Published: September 13, 2026 13:32
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. Languages: Haskell.Location:…
Embedded Haskell Engineer, EW
Published: September 13, 2026 13:32
Develop high-performance software interfaces for electronic warfare systems and integrate them with existing Lattice ecosystem. Languages: Haskell.Location: Costa Mesa, CA, USA.Remote-friendly: no.Last verified by Beyond Tabs: 2026-09-13.
Senior Embedded NixOS Engineer
Published: September 13, 2026 13:32
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. Languages:…
Research Engineer
https://beyond-tabs.com/job/f73200cf-51f5-499c-ac06-838e1c1f2a01/research-engineer-galois
Published: September 13, 2026 13:19
Research Engineer advancing programming language theory and formal verification. Applying model checking, theorem proving, and Haskell to build high-assurance critical systems. Languages: Haskell.Locations: Arlington, VA | Dayton, OH, USA | Minneapolis,…
Software Engineer (Engineer III to Principal) - Formal Methods
Published: September 13, 2026 13:18
Formal methods engineer role building automated verification tools for smart contracts. Requires experience with model checking, SAT/SMT solving, and programming language theory. Languages: Haskell.Locations: New York, NY, USA | Seattle, WA, USA | San…
Software Engineer - Functional Programming
Published: September 13, 2026 13:17
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. Languages: Haskell.Location: Collingwood, Victoria,…
Software Engineer Backend/Frontend (Haskell)
Published: September 13, 2026 13:14
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. Languages:…
Haskell Software Engineer
Published: September 13, 2026 13:12
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.…