<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="">

 Please distribute to undergraduate and master's students and appropriate counsellors and supervisors.<br class="">

<br class="">

We have two fully funded PhD positions for work in type theory at Chalmers/Univ. of Gothenburg.<br class="">

Observe that you will get employed at the Univ. of Gothenburg with full employment benefits (health care, pension, etc).<br class="">

<br class="">

Our research ranges from foundational studies (models, homotopy type theory) to actual implementations of interactive proof systems (Agda).<br class="">

The research group consists, beside myself, of Andreas Abel, Nils Anders Danielsson, Peter Dybjer, Ulf Norell and Christian Sattler.<br class="">

<br class="">

PhD positions usually extend to 5 years, where every year you spend 80% of your time reading courses and working on your research, and 20% on teaching.

<div class="">Deadline for application: <u class="">February 14th 2021</u>

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

For information on how to apply and whom to contact if you have further questions please visit this link<br class="">

<br class="">

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

</div>

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

</div>

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

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

</body>

</html>