My Client is a forward-thinking financial technology firm redefining how modern finance operates. With a strong emphasis on functional programming, formal methods, and robust system design, our mission is to build secure, performant, and scalable financial systems that power the next generation of trading, banking, and asset management solutions.

We are seeking a Senior Haskell Engineer to join our elite engineering team to design and implement mission-critical systems using Haskell and functional programming principles.

Responsibilities

Design, develop, and maintain Haskell-based backend services for financial applications (e.g., trading systems, risk engines, ledger platforms).
Write high-performance, robust, and clean Haskell code with a focus on correctness and maintainability.
Contribute to architecture and system design decisions for high-availability and low-latency systems.
Collaborate with cross-functional teams including product managers, quantitative analysts, and DevOps to deliver business value.
Review and mentor junior and mid-level engineers in Haskell and functional programming best practices.
Work with internal stakeholders to ensure financial systems meet regulatory and compliance requirements.
Participate in formal code reviews, architecture sessions, and design documentation.

Requirements

5+ years of professional software development experience, with at least 3 years using Haskell in production systems.
Strong understanding of functional programming, type systems, purely functional data structures, and monads.
Experience building distributed systems, APIs, or backend services in performance-sensitive environments.
Familiarity with financial systems (e.g., trading, clearing, or settlement) is a strong plus.
Comfortable with Nix, Stack, Cabal, and related tools in the Haskell ecosystem.
Proficient with Git, CI/CD pipelines, and containerization (e.g., Docker, Kubernetes).
Ability to communicate clearly with technical and non-technical stakeholders.
Bachelor’s or Master’s degree in Computer Science, Mathematics, or a related field, or equivalent professional experience.

Nice to Have

Knowledge of formal methods or theorem proving (e.g., Agda, Coq, Isabelle).
Exposure to financial instruments and market microstructure.
Experience with other functional languages (e.g., OCaml, F#, Elm) or low-level performance tuning.
Contributions to open-source Haskell projects.

What We Offer