[Haskell] PhD studentship on interval computation in Haskell