Lead Product Engineer
Artificial LabsRemote, 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
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.
Chicago, IL, USA
Exchange Software Engineer building core services for a CFTC-regulated derivatives exchange and clearinghouse. Haskell with concurrent systems, relational databases, and low-latency design, focusing on matching engines, margin and risk systems, and market data.
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.
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.