[Haskell] Open PhD position in Formal Methods for Software Product Lines at IT University of Copenhagen