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