[Haskell] Lecturer in Verification position at University of Sheffield: deadline 29 March 2021