Hey Haskellers, Applications are invited for a PhD position at the IMDEA Software Institute, Madrid, Spain. The selected candidate will work under my supervision on the theory and practise of refinement types. Application deadline is March 15. More information are available here: https://software.imdea.org/open_positions/2021-02-phd-refinements.html Best, Niki Vazou