Haskell (Qualified Services & High-Tech Practice) We are seeking a highly experienced Haskell skilled 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
8+ 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.
Solid 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.

Location - PAN INDIA (Mumbai, Pune & Bangalore)

📌 Lead Functional Developer Engineer Mumbai
🏢 Hexaware Technologies
📍 Mumbai