[Haskell-cafe] PhD position at IMDEA Software Institute

[Niki Vazou]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20210202/ed16e450/attachment.html>