[TYPES/announce] PhD position at IMDEA Software Institute

[niki.vazou]

Hey,
 
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