Atom Feed
Collingwood, Australia
Haskell Developer role building and evolving a bespoke e-commerce platform. Strong FP skills required; Nix, AWS, and Ruby on Rails experience a plus.
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.
Boulder, CO, USA | Remote, AK-AZ-CO-DC-ID-MT-NM-NV-UT-WY, USA
Senior Software Engineer building legal automation software with focus on functional programming.
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 Engineering Manager leading a team building high-availability core banking systems, specializing in bank core integrations, system reliability, and managing senior engineers working with Haskell and TypeScript to deliver scalable financial infrastructure.
San Francisco, CA, USA | New York, NY, USA | Portland, OR, USA | Remote, Canada | Remote, USA
Senior Software Engineer developing treasury and asset management systems for financial technology, specializing in backend systems with Haskell, focusing on RIA and broker-dealer integrations, regulatory compliance, and scalable infrastructure for managing institutional-scale customer assets.
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.