Lead Functional Developer Engineer

Job description

- Haskell (Professional Services & High-Tech Practice) We are seeking a highly experienced Haskell professional 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. - 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. **Location** - PAN INDIA (Mumbai, Pune & Bangalore)