Senior Software Development Engineer - Haskell
First seen by Alion on Aug 17, 2026.
Job Description :
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 :
- Architecting scalable and type-safe Haskell systems
- Developing embedded domain-specific languages (eDSLs)
- Leading client workshops and mentoring engineers
- Enforcing code quality standards and contributing to pre-sales activities
- 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.
Skills
Haskell, DSL, Docker, CI/CD Pipeline, AWS, Azure, Google Cloud Platform, Compiler Design, Technical Architect