Atom Feed
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.
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.
London, England, UK
Senior role using Haskell, TypeScript, and Python across frontend/backend. Focus on new product development, domain modelling, and concrete data systems. Involves mentoring, tech leadership, and customer-facing work.
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.
São Paulo, Brazil
Build and scale mission-critical Pix payment flows and high-availability fintech infrastructure using Haskell and functional programming at a $1 trillion TPV scale.
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.
San Francisco, CA, USA | New York, NY, USA | Portland, OR, USA | Remote, Canada | Remote, USA
Senior Backend Engineer developing a modern banking platform for startups, specializing in product-centric backend systems with Haskell and SQL, focusing on architectural design, system ownership, and cross-functional collaboration to build scalable financial technology.
San Francisco, CA, USA | New York, NY, USA | Portland, OR, USA | Remote, Canada | Remote, USA
Senior Full-Stack Engineer building a modern banking platform for startups, specializing in product development with Haskell, React, TypeScript, and Redux, focusing on full-stack ownership, user-centric design, and delivering scalable financial technology.
San Francisco, CA, USA | New York, NY, USA | Portland, OR, USA | Remote, Canada | Remote, USA
Software Engineer building product-centric banking experiences for startups, specializing in backend and full-stack development with Haskell, TypeScript, React, and Redux, focusing on product ownership, user-centric design, and shipping scalable financial technology features.
Enschede, Netherlands
Formal Verification Engineer extending the Clash hardware description language and Haskell for correct-by-design hardware and software. Connecting Haskell with verification tools, proof assistants like Agda or Coq, model checking, and SMT for formal specification and verification of digital designs.
Copenhagen, Denmark | Warsaw, Poland
Lead/Principal Software Engineer developing core financial instrument functionality and business processes. OCaml, Scala, or Haskell with domain-specific languages, focusing on complex architecture, automated testing, and CI/CD.