(Apologies for cross-posting; please share with your students and colleagues as is appropriate.)
Utrecht University's Software Technology group is looking to hire a PhD candidate. We are interested in finding a candidate who is excited to work on mathematical aspects of computer science. Specifically, our team works on differential and probabilistic programming, with topics ranging from the foundations of the field in (applied) category theory, programming language theory, and continuous mathematics, to applications in programming language implementation, scientific computing, and machine learning. We are looking for a student who is enthusiastic about research and will take the initiative to make the most of this very flexible PhD position.