<div style="font-family: Arial, sans-serif; font-size: 14px;"><div style="font-family: Arial, sans-serif; font-size: 14px;"><span style="font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt" data-olk-copy-source="MailCompose"></span><div style="line-height:1.38;margin-top:12pt;margin-bottom:12pt;font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt">We invite applications for <span style="font-weight:700">six fully-funded PhD positions (4 years)</span> in
 the project "Cyclic Structures in Programs and Proofs – New Harmonies 
in Software Correctness by Construction", funded by the Dutch Research 
Council (NWO).</div><div style="line-height:1.38;margin-top:14pt;margin-bottom:4pt;font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><span style="font-weight:700">About the Project</span></div><div style="line-height:1.38;margin-top:12pt;margin-bottom:12pt;font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt">This €3 million project aims to advance <span style="font-weight:700">software verification</span> through fundamental research in the following areas:</div><ul style="margin-top:0px;margin-bottom:0px"><li style="font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><div style="line-height:1.38;margin-top:12pt;margin-bottom:0pt">Modal logic, proof theory, and coalgebras</div></li><li style="font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><div style="line-height:1.38;margin-top:0pt;margin-bottom:0pt">Programming languages, concurrency, and type systems</div></li><li style="font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><div style="line-height:1.38;margin-top:0pt;margin-bottom:12pt">Proof assistants (Agda, Rocq)</div></li></ul><div style="line-height:1.38;margin-top:12pt;margin-bottom:12pt;font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt">This consortium brings together researchers from different universities:</div><ul style="margin-top:0px;margin-bottom:0px"><li style="font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><div style="line-height:1.38;margin-top:12pt;margin-bottom:0pt">Bahareh Afshari (University of Gothenburg)</div></li><li style="font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><div style="line-height:1.38;margin-top:0pt;margin-bottom:0pt">Henning Basold (Leiden University)</div></li><li style="font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><div style="line-height:1.38;margin-top:0pt;margin-bottom:0pt">Marcello Bonsangue (Leiden University)</div></li><li style="font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><div style="line-height:1.38;margin-top:0pt;margin-bottom:0pt">Georgiana Caltais (University of Twente)</div></li><li style="font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><div style="line-height:1.38;margin-top:0pt;margin-bottom:0pt">Jesper Cockx (TU Delft)</div></li><li style="font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><div style="line-height:1.38;margin-top:0pt;margin-bottom:0pt">Helle Hvid Hansen (University of Groningen) </div></li><li style="font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><div style="line-height:1.38;margin-top:0pt;margin-bottom:0pt">Robbert Krebbers (Radboud University Nijmegen)</div></li><li style="font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><div style="line-height:1.38;margin-top:0pt;margin-bottom:12pt">Jorge Pérez (University of Groningen, Principal Investigator)</div></li></ul><div style="line-height:1.38;margin-top:14pt;margin-bottom:4pt;font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><span style="font-weight:700">Candidate Profile</span></div><div style="line-height:1.38;margin-top:12pt;margin-bottom:12pt;font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt">We seek <span style="font-weight:700">strong, highly motivated applicants</span> who:</div><ul style="margin-top:0px;margin-bottom:0px"><li style="font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><div style="line-height:1.38;margin-top:12pt;margin-bottom:0pt">Have (or are close to completing) an MSc in <span style="font-weight:700">Computer Science, Logic, Mathematics</span>, or a related field.</div></li><li style="font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><div style="line-height:1.38;margin-top:0pt;margin-bottom:0pt">Have background or research experience in any of the areas above (preferred but not required).</div></li><li style="font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><div style="line-height:1.38;margin-top:0pt;margin-bottom:12pt">Have strong communication skills (oral and written) in English.</div></li></ul><div style="line-height:1.38;margin-top:14pt;margin-bottom:4pt;font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><span style="font-weight:700">Position Details</span></div><ul style="margin-top:0px;margin-bottom:0px"><li style="font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><div style="line-height:1.38;margin-top:12pt;margin-bottom:0pt">The six PhD positions are <span style="font-weight:700">fully funded, employed positions for four years</span>. The conditions of employment follow the Collective Labour Agreement for Dutch Universities.</div></li><li style="font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><div style="line-height:1.38;margin-top:0pt;margin-bottom:12pt">Candidates
 will be based in and employed by one of the participating universities 
and collaborate with national and international partners.</div></li></ul><div style="line-height:1.38;margin-top:14pt;margin-bottom:4pt;font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><span style="font-weight:700">How to Apply</span></div><div style="line-height:1.38;margin-top:12pt;margin-bottom:12pt;font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt">For full details about the six positions and to submit your application, visit:</div><div style="line-height: 1.38; margin-top: 12pt; margin-bottom: 12pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(17, 85, 204);"><span style="font-weight:700"><u><a href="https://cyclic-structures.gitlab.io/vacancies/">https://cyclic-structures.gitlab.io/vacancies/</a></u></span></div><div style="line-height:1.38;margin-top:12pt;margin-bottom:12pt;font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><span style="font-weight:700">Deadline:</span> Submit your application until Friday, May 23, 2025, 23:59 (<a href="https://www.timeanddate.com/time/zones/cet">CET</a>), for full consideration. Applications will be reviewed until all positions are filled.</div><div style="line-height:1.38;margin-top:12pt;margin-bottom:12pt;font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><span style="font-weight:700">Starting date:</span> We expect positions to start in <span style="font-weight:700">September 2025</span> (or soon thereafter). Some flexibility is possible, depending on the position. </div><div style="line-height:1.38;margin-top:12pt;margin-bottom:12pt;font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><span style="font-weight:700">Questions and informal inquiries:</span> Please contact <span style="font-weight:700">Jorge Pérez</span> (Principal Investigator) at<br><<span style="font-weight:700">j.a.perez@rug.nl</span>></div><div style="font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"><br></div><span style="font-family:Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;font-size:12pt"></span><br></div>
<div class="protonmail_signature_block protonmail_signature_block-empty" style="font-family: Arial, sans-serif; font-size: 14px;">
    <div class="protonmail_signature_block-user protonmail_signature_block-empty">
        
            </div>
    
            <div class="protonmail_signature_block-proton protonmail_signature_block-empty">
        
            </div>
</div>
</div>