<!DOCTYPE html><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 of the Department of computer science
and engineering, Chalmers and Gothenburg University, is recruiting
a 3-years postdoc to work with dependent type theory extended with
univalence and higher inductive types. <br>
</p>
<p>For more information about the position and how to apply for it,
please follow this link<br>
<span style="font-family:"Aptos",sans-serif"><a href="https://urldefense.com/v3/__https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=35073__;!!IBzWLUs!VpKFG1kKjbzJZdujYNCq0ydxobZwa_4T0w5_LX3Q4g3Vzp3rgz-SpyrYCZPWgSGGlhXS89jnywasQOPHDdzCBdMCuIzKpQ$">
https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=35073</a><br>
</span></p>
<p><span style="font-family:"Aptos",sans-serif">Deadline
for application is <b>September 17th 2024</b>.</span></p>
<p><span style="font-family:"Aptos",sans-serif">Please do
not hesitate to contact us if you have any questions.</span></p>
<p><span style="font-family:"Aptos",sans-serif">Best
regards<br>
</span></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!VpKFG1kKjbzJZdujYNCq0ydxobZwa_4T0w5_LX3Q4g3Vzp3rgz-SpyrYCZPWgSGGlhXS89jnywasQOPHDdzCBdO4nVJhiw$">http://www.cse.chalmers.se/~bove</a>
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg</pre>
</body>
</html>