[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
(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 <[email protected]> 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
[email protected]
