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.
Budapest, Hungary | Zurich, Switzerland | London, England, UK | New York, NY, USA | NJ, USA | CT, USA
Software Engineer contributing to Canton Network stack including Daml compiler, distributed ledger protocol, and financial applications. Requires polyglot engineering experience with production systems, working in Scala, TypeScript, and Haskell. Master's/PhD in CS or equivalent experience preferred.
Cambridge, MA, USA
Senior Formal Methods Engineer developing software analysis tools using Haskell, OCaml, Coq, and SMT solvers. Focus on security verification, static analysis, and vulnerability detection across critical systems. Requires security clearance eligibility.
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 | New York, NY | Portland, OR | Remote, Canada | Remote, USA
Staff Software Engineer leading the technical vision and architecture for a new consumer banking platform, specializing in backend systems with Haskell, focusing on scaling product features, risk and compliance controls, and driving architectural decisions for personal banking and investment services.
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.