<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>Dear All,</p>
<p>The Computing Science division at the University of Gothenburg
has a 360 days research position to work with Prof. Thierry
Coquand and his group.<br>
Deadline for application is <b>Oct 30th</b>.</p>
<p>The project is about the study of dependent type theory extended
with univalence with applications to synthetic mathematics. Prime
examples are synthetic algebraic geometry and synthetic Stone
duality, but it might be other kind of synthetic mathematics, such
as study of higher categories.</p>
<p>For more information please visit the following link:<br>
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=38480__;!!IBzWLUs!U-mqu_PW49a3ZbnUf40FsiERitJ0ggpYVeDFCeORoaLWA_tMO6-e9KE5aSsUgdgZafLZE95GXc5kv1rgQe1wYmSx85KmYA$" moz-do-not-send="true">https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=38480</a></p>
<p>Please distribute the information to anyone that might be
interested and consider applying yourself if you fit the profile!</p>
<p>Do not hesitate to contact us if you have any questions.</p>
<p>Best regards</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/__https://www.chalmers.se/en/persons/bove__;!!IBzWLUs!U-mqu_PW49a3ZbnUf40FsiERitJ0ggpYVeDFCeORoaLWA_tMO6-e9KE5aSsUgdgZafLZE95GXc5kv1rgQe1wYmTDlUfOtg$" moz-do-not-send="true">https://www.chalmers.se/en/persons/bove</a>
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg</pre>
</body>
</html>