<div dir="ltr"><div>Hello Agdakers,</div><div><br></div><div>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 <a href="http://pl.ewi.tudelft.nl/hiring/2020-phd-student-dependent-types/">http://pl.ewi.tudelft.nl/hiring/2020-phd-student-dependent-types/</a>.</div><div><br></div><div>Best regards,</div><div>Jesper<br></div></div>