<div dir="ltr">Dear colleagues,<br><br>(Apologies for cross-posting; please share with your students and colleagues as<br>is appropriate.)<br><br>Utrecht University's Software Technology group is looking to hire a PhD<br>candidate. We are interested in finding a candidate who is excited to work on<br>mathematical aspects of computer science. Specifically, our team works on<br>differential and probabilistic programming, with topics ranging from the<br>foundations of the field in (applied) category theory, programming language<br>theory, and continuous mathematics, to applications in programming language<br>implementation, scientific computing, and machine learning. We are looking for a<br>student who is enthusiastic about research and will take the initiative to make<br>the most of this very flexible PhD position.<br><br>For more details, see<br><a href="https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-differential-and-probabilistic-programming-10-fte">https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-differential-and-probabilistic-programming-10-fte</a><br><br>The deadline for applications is Monday, June 8, 2020, but applications will be<br>considered until the position is filled.<br><br>For all inquiries please contact<br>Matthijs Vákár (<a href="mailto:m.i.l.vakar@uu.nl">m.i.l.vakar@uu.nl</a>)<br><br>Kind regards,<br>Matthijs<br><br>----------------------<br><a href="https://www.uu.nl/staff/MILVakar">https://www.uu.nl/staff/MILVakar</a><br></div>