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.
Remote, USA
Focus on SimplicityHL, a functional language for blockchain. Design and implement the complete developer experience, tooling, and infrastructure, including unit testing, package/module systems, and automated documentation. Requires proficiency in Rust or Haskell and strong knowledge of modular system architecture.
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. £95-110K.
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.
Portland, OR, USA | Arlington, VA, USA | Dayton, OH, USA | Minneapolis, MN, USA
The role entails verifying safety-critical systems using formal methods. Requires strong PL theory background, functional programming skills, and software engineering experience. Secret clearance eligibility needed; hybrid work in multiple U.S. locations.
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.
Bangalore, India
SDE (Functional Programming) using Haskell/Purescript to build high-scale payments systems. Focus on backend APIs, intelligent data-driven ops, and resilient multi-DC infrastructure.
Chantilly, VA, USA
Research scientist role developing novel static analysis tools to discover software vulnerabilities. Requires expertise in type systems or model checking, and experience with functional languages. TS clearance eligibility needed.
San Diego, CA, USA
Senior Software Engineer using functional programming to build high-assurance systems for DARPA and OT/IT applications. $104K-$189K.
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.
Porvorim, Goa, India
Join a travel tech team building a next-gen Haskell platform alongside a mature Rails/AngularJS stack. Requires FP experience, web development background, and willingness to work full stack.