[TYPES/announce] PhD Position in in Theory and Implementation of Dependently Typed Programming Languages

[Jesper Cockx]

Hello all,

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 and similar
dependently typed programming languages. If you are (know someone who could
be) interested, you can find more information about the application process
at http://pl.ewi.tudelft.nl/hiring/2020-phd-student-dependent-types/.

Best regards,
Jesper Cockx
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200108/5ab59db1/attachment-0001.html>