Role & responsibilities

Haskell (Professional Services & High-Tech Practice) We are seeking a highly experienced Haskell qualified to lead the design, development, and delivery of mission-critical software solutions for clients across financial services, technology, and engineering-driven organizations.

Key responsibilities include architecting scalable and type-safe Haskell systems, developing embedded domain-specific languages (eDSLs), leading client workshops, mentoring engineers, enforcing code quality standards, contributing to pre-sales activities, and supporting the organization's Haskell Centre of Excellence.

Required Qualifications &

Skills • 6+ years of production-grade Haskell development experience in large-scale, live environments.

- Deep expertise in GHC, Haskell's advanced type system (GADTs, type families, higher-kinded types, type-level programming), and effect management frameworks.
- Proven experience building eDSLs, implementing concurrent systems (STM, async, MVar/TVar),



and developing services using frameworks such as Servant, Yesod, or Scotty.
- Strong experience with property-based testing (QuickCheck/Hedgehog), performance optimization, Stack/Cabal/Nix tooling, Lens ecosystem, Docker, CI/CD, and cloud platforms (AWS, Azure, GCP).
- Ability to communicate complex technical architecture and type-level design concepts to both technical and non-technical stakeholders.
- Strong foundations in computer science, mathematics, type theory, and functional programming principles.

Preferred Skills Experience with quantitative finance, BFSI platforms, Standard Chartered's Mu language, Cardano/Plutus smart contracts, and adjacent functional languages such as Scala, F#, OCaml, or PureScript. Community contributions, open-source work, technical publications, or conference speaking are highly valued.

📌 Haskell - Functional Developer Engineer (Mumbai)
🏢 Hexaware Technologies
📍 Mumbai