[Haskell] Vacancy for PhD Candidate in Declarative Programming and the Internet of Things