
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>

</head>

<body dir="ltr">

<span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">(Please forward this mail to any good students you might know!)</span>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

<br>

</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

Dear all,</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

<br>

</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

We are looking for strong PhD candidates in programming languages for the ERC</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

Starting Grant project "Formalised Reasoning about Expectations: Composable,</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

Automated, Speedy, Trustworthy" (FoRECAST). We are seeking candidates who</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

want to work at the intersection of category theory and programming language</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

theory to build out the semantic foundations of probabilistic and differentiable</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

programming</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

(<a href="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$" id="LPlnk" title="https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-programming-semantics-and-category-theory">https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-programming-semantics-and-category-theory</a>)</div>

<div class="_Entity _EType_OWALinkPreview _EId_OWALinkPreview _EReadonly_1">

<div id="LPBorder_GTaHR0cHM6Ly93d3cudXUubmwvZW4vb3JnYW5pc2F0aW9uL3dvcmtpbmctYXQtdXRyZWNodC11bml2ZXJzaXR5L2pvYnMvcGhkLXBvc2l0aW9uLWluLXByb2dyYW1taW5nLXNlbWFudGljcy1hbmQtY2F0ZWdvcnktdGhlb3J5" class="LPBorder575644" style="width: 100%; margin-top: 16px; margin-bottom: 16px; position: relative; max-width: 800px; min-width: 424px;">

<table id="LPContainer575644" role="presentation" style="padding: 12px 36px 12px 12px; width: 100%; border-width: 1px; border-style: solid; border-color: rgb(200, 200, 200); border-radius: 2px;">

<tbody>

<tr valign="top" style="border-spacing: 0px;">

<td>

<div id="LPImageContainer575644" style="position: relative; margin-right: 12px; height: 125.984px; overflow: hidden; width: 240px;">

<a target="_blank" id="LPImageAnchor575644" href="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$"><img id="LPThumbnailImageId575644" alt="" height="125" style="display: block;" width="240" src="https://www.uu.nl/sites/default/files/ogp/cm_hs_avatar_corporate_200px.jpg?mt=1589482451"></a></div>

</td>

<td style="width: 100%;">

<div id="LPTitle575644" style="font-size: 21px; font-weight: 300; margin-right: 8px; font-family: wf_segoe-ui_light, "Segoe UI Light", "Segoe WP Light", "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif; margin-bottom: 12px;">

<a target="_blank" id="LPUrlAnchor575644" href="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$" style="text-decoration: none; color: var(--themePrimary);">PhD Position in Programming

 Semantics and Category Theory</a></div>

<div id="LPDescription575644" style="font-size: 14px; max-height: 100px; color: rgb(102, 102, 102); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif; margin-bottom: 12px; margin-right: 8px; overflow: hidden;">

PhD Position in Programming Semantics and Category Theory Faculty: Faculty of Science Department: Department of Information and Computing Sciences</div>

<div id="LPMetadata575644" style="font-size: 14px; font-weight: 400; color: rgb(166, 166, 166); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif;">

www.uu.nl</div>

</td>

</tr>

</tbody>

</table>

</div>

</div>

<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

<br>

</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

as well as candidates who are interested in the implementation of</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

high-performance computing DSLs for differential and probabilistic programming</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

(<a href="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$" id="LPlnk611236" title="https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-dsls-for-high-performance-computing">https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-dsls-for-high-performance-computing</a>).</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

For context, the FoRECAST project also offers a third PhD position in probabilistic</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

and differential algorithms</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

(<a href="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$" id="LPlnk625341" title="https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-probabilistic-and-differential-algorithms">https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-probabilistic-and-differential-algorithms</a>).</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

<br>

</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

Please contact <m.i.l.vakar@uu.nl> if you want to learn more about the project.</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

<br>

</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

The starting dates are flexible (but ideally before 1 September 2025). We will</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

therefore review applications on a rolling basis without a fixed application</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

deadline. However, if you want to make sure the positions are still open, please</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

apply before **21 April**.</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

<br>

</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

Best regards,</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

<br>

</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

Matthijs Vákár</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

Assistant Professor in Computer Science</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

Utrecht University, The Netherlands </div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

m.i.l.vakar@uu.nl</div>

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

<br>

</div>

</body>

</html>