<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>Dear All,</p>
<p>The Department of Computer Science and Engineering, a join
department between University of Gothenburg and Chalmers
University of Technology, has now 2 open positions in the Logic
and Types research group to work with Thierry Coquand and his
group:<br>
</p>
<p>* a <b>2 years postdoc position</b> on 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.<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=37950__;!!IBzWLUs!RimXPaFutDtalAoYmmglhVb-1xMa2fBlFsM2b6oRpVPzuuLfX-0StwrgIbpC1kKzZ8aZ4fLicH2hhCC0XUv2ti4AZHEO6g$">https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=37950</a><br>
</p>
<p>* a <b>360 days research position</b> on the study of dependent
type theory extended with univalence with applications to
synthetic mathematics, for instance synthetic study of condensed
sets.<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=37958__;!!IBzWLUs!RimXPaFutDtalAoYmmglhVb-1xMa2fBlFsM2b6oRpVPzuuLfX-0StwrgIbpC1kKzZ8aZ4fLicH2hhCC0XUv2ti5uGDqoPg$">https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=37958</a></p>
<p><strong>Applications must be received by: </strong>2025-08-11 in
each of these positions.</p>
<p>Please do not hesitate to contact us if you have any questions
regarding any of these 2 positions.</p>
<p>Best regards<br>
</p>
<p></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!RimXPaFutDtalAoYmmglhVb-1xMa2fBlFsM2b6oRpVPzuuLfX-0StwrgIbpC1kKzZ8aZ4fLicH2hhCC0XUv2ti7Dt2JGCQ$">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>