<div dir="ltr"><div>Below is the full advert for PhD studentships at Nottingham. If</div><div>you are interested, please also see the information at</div><div><a href="https://www.cs.nott.ac.uk/~pszgmh/10-phds.html">https://www.cs.nott.ac.uk/~pszgmh/10-phds.html</a></div><div>Cheers,</div><div>Nicolai<br><div><br></div><div>+-----------------------------------------------------------+<br><br>Dear all,<br><br>The School of Computer Science at the University of Nottingham<br>in the UK is seeking applications for 10 fully-funded PhD<br>studentships: <a href="http://tinyurl.com/ten-phd-2024">http://tinyurl.com/ten-phd-2024</a><br><br>Applicants in the area of the Functional Programming Lab<br>(<a href="http://tinyurl.com/fp-notts">tinyurl.com/fp-notts</a>) are strongly encouraged!  If you are<br>interested in applying, please contact a potential supervisor<br>as soon as possible; the application deadline is 7th April 2024:<br><br>  Thorsten Altenkirch - constructive logic, proof assistants,<br>  homotopy type theory, category theory, lambda calculus.<br><br>  Ulrik Buchholtz - homotopy type theory, synthetic homotopy theory,<br>  proof assistants, constructive mathematics, and related topics.<br><br>  Graham Hutton - not currently seeking a new student.<br><br>  Nicolai Kraus - homotopy type theory, higher category theory,<br>  constructive mathematics, and related topics.<br><br>  Dan Marsden - category theory, logic, finite model theory,<br>  diagrammatic reasoning, foundations of computer science.<br><br>Best wishes,<br><br>The FP Lab<br>University of Nottingham<br></div></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Feb 9, 2024 at 4:09 PM Thorsten Altenkirch <<a href="mailto:Thorsten.Altenkirch@nottingham.ac.uk">Thorsten.Altenkirch@nottingham.ac.uk</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="msg-4644717694322651690">





<div lang="EN-GB" style="overflow-wrap: break-word;">
<div class="m_-4644717694322651690WordSection1">
<p class="MsoNormal"><span style="font-size:11pt">We are advertising several <a href="https://jobs.nottingham.ac.uk/Vacancy.aspx?ref=SCI259" target="_blank">
PhD positions</a> at Nottingham which includes the Functional Programming Laboratory.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt">The group which includes Nicolai Kraus and Ulrik Buchholtz has got a strong interest in Type Theory in particular Homotopy Type Theory and its semantic foundations using (higher) category theory. We mainly
 use the agda system for formal developments. <u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt">If you are interested, please contact me before applying.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt">Cheers,<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt">Thorsten <u></u><u></u></span></p>
</div>
This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the
 author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.
</div>

_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</div></blockquote></div>