<div dir="ltr"><div>Dear all,</div><div><br></div><div>Our programming languages group at TU Delft is hiring two new assistant/associate professors. Each position comes with a start-up package including funding for research travel and a four year PhD student position. Our group works on a broad range of PL topics, but I would personally like to encourage people working on Agda and related topics to send in their applications. You can find more information about the positions at <a href="http://pl.ewi.tudelft.nl/hiring/2020/assistant-professor/">http://pl.ewi.tudelft.nl/hiring/2020/assistant-professor/</a>. Please spread the word if you know any potential candidates!</div><div><br></div><div>Cheers,</div><div>Jesper<br></div></div>