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

Jesper Cockx Jesper at sikanda.be
Wed Jan 8 14:43:51 CET 2020


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>


More information about the Agda mailing list