
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">

</head>

<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">

 

<div class="">I would like to announce a new postdoc position in homotopy type theory/univalent foundations.<br class="">

For details see<br class="">

<br class="">

<a href="https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=18963" class="">https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=18963</a><br class="">

<br class="">

The deadline for application is 2021-03-10.<br class="">

<br class="">

The call is primarily for people already working in homotopy type theory, but we are also open to considering applications </div>

<div class="">from people working in nearby areas who would be interested in getting into the field.<br class="">

<br class="">

The position includes up to 20% teaching duties.<br class="">

While our department is a joint department between Chalmers and Univ. of Gothenburg, you will get employed at the Univ. of Gothenburg with full employment benefits (health care, pension, etc).<br class="">

<br class="">

Please do not hesitate to contact me directly for further information.</div>

<div class=""><br class="">

</div>

<div class=""> Best regards,</div>

<div class=""> Thierry</div>

</body>

</html>