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 Software Engineer developing a high-precision reconciliation platform for financial transactions, specializing in backend systems with Haskell and SQL, focusing on data pipeline architecture, payment rail integrations, and ensuring accuracy for large-scale deposit operations.
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 Software Engineer building viral growth and network effects for a banking platform, specializing in full-stack development with Haskell, TypeScript, React, and SQL, focusing on referral systems, interconnected account models, and scalable ecosystem features to drive organic user adoption.
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.
Remote, Europe
Functional Engineer developing core blockchain components. Haskell and Nix for consensus, ledger, and API development, with a focus on declarative builds, test automation, and CI/CD. Requires senior-level Haskell experience and contributions to open-source ecosystems.
Remote, USA | Remote, Canada | Remote, Latin America | Remote, Europe
Functional Engineering Manager developing core blockchain infrastructure. Haskell and Nix for consensus, ledger, and API systems, with a focus on declarative builds and development pipelines. Principal-level role requiring professional Haskell experience and leadership in technical strategy and mentorship.
Remote, Poland
Contract Quantitative Developer role in Poland, building front-office financial systems. Works in Haskell and the proprietary Mu dialect. Fully remote from within Poland. Requires demonstrated experience with typed functional programming. Application is via direct email.
Remote, Singapore | Remote, Hong Kong SAR
Quantitative developer building front-office trading, pricing, and risk systems. Works in Haskell and a proprietary Mu dialect. Owns architecture, delivery, and stakeholder coordination. Requires strong Haskell experience and solid computer science fundamentals.
Remote, Hong Kong SAR | Remote, Singapore
Senior Quantitative Developer building front-office trading, pricing, and risk systems. Haskell and proprietary Mu dialect. Responsible for technical architecture, project leadership, and stakeholder coordination. Requires 4+ years of Haskell experience and solid computer science fundamentals.