[Haskell] PhD / Postdoc position (Uni Amsterdam) in programming language technology for adaptive cyber-physical systems