<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Dear All</p>
<p>The logic and types group at Chalmers and Gothenburg university
is now recruiting two postdocs to work on type theory for
mathematics and computers science together with Prof. Thierry
Coquand and others in the group.</p>
<p>The project is about the study of dependent type theory extended
with univalence and higher inductive types. It can range from
theoretical studies of models to actual formalisations of
mathematics in a proof system (such as Agda), or working on design
of proof assistants incorporating the advances brought by the
connections with homotopy theory.</p>
<p>Please consider applying for the position and help distributing
this information to people you think could be interested. </p>
<p><u>Deadline for application: October 26th 2022.</u></p>
<p>For more information 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&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=27429__;!!IBzWLUs!Re9hqrNB4c-BkvGJSLkR1AHtxIomQzO792WzHdrfO4BWbuWs0HC01Nu0Ifcw5Gn65QwVGuNhNdrBTZP8X2bagTybL3AuwA$" moz-do-not-send="true">https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=27429</a><br>
</p>
<p>Thanks!<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!Re9hqrNB4c-BkvGJSLkR1AHtxIomQzO792WzHdrfO4BWbuWs0HC01Nu0Ifcw5Gn65QwVGuNhNdrBTZP8X2bagTysSF-ojg$" 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>
</body>
</html>