Dear all, We are looking for a strong PhD candidate in programming semantics and category theory for the ERC Starting Grant project "Formalised Reasoning about Expectations: Composable, Automated, Speedy, Trustworthy" (FoRECAST). We are seeking candidates who want to work at the intersection of category theory and programming language theory to build out the semantic foundations of probabilistic and differentiable programming (https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-pos...). For context, the FoRECAST project also offers two other PhD positions on DSLs for high-performance probabilistic and differential computing (https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-pos...) and probabilistic and differential algorithms (https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-pos...). Please contact <m.i.l.@uu.nl> if you want to learn more about the project. The starting dates are flexible (but ideally before 1 September 2025). We will therefore review applications on a rolling basis without a fixed application deadline. However, if you want to make sure the positions are still open, please apply before **21 April**. Best regards, Matthijs Vákár Assistant Professor in Computer Science Utrecht University, The Netherlands m.i.l.vakar@uu.nl<mailto:m.i.l.vakar@uu.nl> You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>