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