[Haskell] Postdoctoral position in programming languages at U Tuebingen