[Agda] PhD Position in in Theory and Implementation of Dependently Typed Programming Languages

[Jesper Cockx]

Hello Agdakers,

I'm very excited to announce that I'm hiring a PhD student to work with me
at TU Delft on the theory and implementation of Agda. If you are (know
someone who could be) interested, you can find more information at
http://pl.ewi.tudelft.nl/hiring/2020-phd-student-dependent-types/.

Best regards,
Jesper
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200108/be5daf1c/attachment.html>