[Haskell] Postdoc in program development, analysis and transformation