[TYPES/announce] PhD Positions in Programming Semantics and Systems for Probabilistic and Differential Programming

[Vákár, M.I.L. (Matthijs)]

(Please forward this mail to any good students you might know!)

Dear all,

We are looking for strong PhD candidates in programming languages 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://urldefense.com/v3/__https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-programming-semantics-and-category-theory__;!!IBzWLUs!RBnSSP06vRNuyW5qMTT16QWELK7bGPEV4c5p_n0UL3rVEYYJU9NAr2p2VhW7GX7oC00wXQ_RhfPMUjkMXk6vws2KKpx9nJOl924$ )
[https://urldefense.com/v3/__https://www.uu.nl/sites/default/files/ogp/cm_hs_avatar_corporate_200px.jpg?mt=1589482451__;!!IBzWLUs!RBnSSP06vRNuyW5qMTT16QWELK7bGPEV4c5p_n0UL3rVEYYJU9NAr2p2VhW7GX7oC00wXQ_RhfPMUjkMXk6vws2KKpx9wifJejI$ ]<https://urldefense.com/v3/__https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-programming-semantics-and-category-theory__;!!IBzWLUs!RBnSSP06vRNuyW5qMTT16QWELK7bGPEV4c5p_n0UL3rVEYYJU9NAr2p2VhW7GX7oC00wXQ_RhfPMUjkMXk6vws2KKpx9nJOl924$ >
PhD Position in Programming Semantics and Category Theory<https://urldefense.com/v3/__https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-programming-semantics-and-category-theory__;!!IBzWLUs!RBnSSP06vRNuyW5qMTT16QWELK7bGPEV4c5p_n0UL3rVEYYJU9NAr2p2VhW7GX7oC00wXQ_RhfPMUjkMXk6vws2KKpx9nJOl924$ >
PhD Position in Programming Semantics and Category Theory Faculty: Faculty of Science Department: Department of Information and Computing Sciences
https://urldefense.com/v3/__http://www.uu.nl__;!!IBzWLUs!RBnSSP06vRNuyW5qMTT16QWELK7bGPEV4c5p_n0UL3rVEYYJU9NAr2p2VhW7GX7oC00wXQ_RhfPMUjkMXk6vws2KKpx9OqoyzLU$ 

as well as candidates who are interested in the implementation of
high-performance computing DSLs for differential and probabilistic programming
(https://urldefense.com/v3/__https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-dsls-for-high-performance-computing__;!!IBzWLUs!RBnSSP06vRNuyW5qMTT16QWELK7bGPEV4c5p_n0UL3rVEYYJU9NAr2p2VhW7GX7oC00wXQ_RhfPMUjkMXk6vws2KKpx9IkjcVRk$ ).
For context, the FoRECAST project also offers a third PhD position in probabilistic
and differential algorithms
(https://urldefense.com/v3/__https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-probabilistic-and-differential-algorithms__;!!IBzWLUs!RBnSSP06vRNuyW5qMTT16QWELK7bGPEV4c5p_n0UL3rVEYYJU9NAr2p2VhW7GX7oC00wXQ_RhfPMUjkMXk6vws2KKpx9ECetL1U$ ).

Please contact <m.i.l.vakar at 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 at uu.nl

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250306/a4a86f37/attachment-0001.htm>