<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>Sorry, the url should be</p>
<p><a href="https://urldefense.com/v3/__https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=31163__;!!IBzWLUs!VZ_92vIOONtnunEQvIcMboBttflqIzbd9_TDyCQCzaTlLIMeX93fHtGiy24De6uOMo5WQoLACCgiUdnNg9_Ee9BFBvcoSg$" target="_blank">https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=31163</a></p>
<div class="moz-cite-prefix">On 2023-07-10 19:00, Ana Bove wrote:<br>
</div>
<blockquote type="cite" cite="mid:9663e524-c8dc-2aa9-e7e0-d78368af349b@chalmers.se">
<pre class="moz-quote-pre" wrap="">[ The Types Forum (announcements only),
<a class="moz-txt-link-freetext" href="http://lists.seas.upenn.edu/mailman/listinfo/types-announce">http://lists.seas.upenn.edu/mailman/listinfo/types-announce</a> ]
</pre>
<br>
<fieldset class="moz-mime-attachment-header"></fieldset>
<p>Dear All,</p>
<p>The Computer science and engineering department at Chalmers
university of technology and University of Gothenburg has now an
opening for four PhD student positions to be placed at the
University of Gothenburg.<br>
<u>Deadline for application is 20th of August.</u><br>
</p>
<p>There is a list of potential projects and supervisor, among
them</p>
<p><b>Nils Anders Danielsson</b> on <i>Formalising cubical type
theory </i><br>
</p>
<p>and</p>
<p><b>Christian Sattler</b> on <i>Homotopy type theory and
constructive higher category theory</i></p>
<p>If you are interested in these topics please consider applying
for the positions!<br>
</p>
<p>Please observe that one is employed during the phd studies in
Sweden, with all normal benefits an employee has (pension, sick
leave, parental leave, etc).<br>
</p>
<p>For more information about the possible projects and the
applications process please visit <br>
</p>
<p><a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://web103.reachmee.com/ext/I005/1035/job?site=7__;!!IBzWLUs!T1wjOX95B4BoZ-Yl58tX-ebRg0gehM1Ybx1dpEQIzkHRrtszhYC5Q9vuEYTaP7hndn4HaO9KmS_ikoArRtlBXDUjsTP1RQ$" moz-do-not-send="true">https://web103.reachmee.com/ext/I005/1035/job?site=7</a></p>
<p>Do not hesitate to contact Nils Anders <a class="moz-txt-link-rfc2396E" href="mailto:nad@chalmers.se" moz-do-not-send="true"><nad@chalmers.se></a> or
Christian <a class="moz-txt-link-rfc2396E" href="mailto:sattler@chalmers.se" moz-do-not-send="true"><sattler@chalmers.se></a>
directly if you have further questions about these particular
projects.<br>
</p>
<pre class="moz-signature" cols="72">--
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__http://www.cse.chalmers.se/*bove__;fg!!IBzWLUs!T1wjOX95B4BoZ-Yl58tX-ebRg0gehM1Ybx1dpEQIzkHRrtszhYC5Q9vuEYTaP7hndn4HaO9KmS_ikoArRtlBXDXU-4fQ6Q$" moz-do-not-send="true">http://www.cse.chalmers.se/~bove</a>
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg</pre>
</blockquote>
<pre class="moz-signature" cols="72">--
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__http://www.cse.chalmers.se/*bove__;fg!!IBzWLUs!VZ_92vIOONtnunEQvIcMboBttflqIzbd9_TDyCQCzaTlLIMeX93fHtGiy24De6uOMo5WQoLACCgiUdnNg9_Ee9AKhp1Bcg$">http://www.cse.chalmers.se/~bove</a>
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg</pre>
</body>
</html>