PhD Position in Programming Semantics and Category Theory at Utrecht University

PhD Position in Programming Semantics and Category Theory at Utrecht University

[Matthijs Vákár]

[-- Attachment #1: Type: text/plain, Size: 2459 bytes --]

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-position-in-programming-semantics-and-category-theory<https://url.au.m.mimecastprotect.com/s/KYtQCnx1Z5U7r4yKMI9frUJ_cnt?domain=uu.nl>).
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-position-in-dsls-for-high-performance-computing<https://url.au.m.mimecastprotect.com/s/KuTCCoV1Y2Sr6AoBxTzhxUptXvd?domain=uu.nl>)
and probabilistic and differential algorithms
(https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-probabilistic-and-differential-algorithms<https://url.au.m.mimecastprotect.com/s/sZQrCp81gYCnpglvXtYipUGC7NS?domain=uu.nl>).

Please contact <m.i.l.@uu.nl<https://url.au.m.mimecastprotect.com/s/6g_UCr810kC84yN1Lhjt7U4UBAn?domain=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=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 4488 bytes --]