<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  </head>
  <body>
    <p>Dear All,</p>
    <p>The Computer science and engineering department at Chalmers
      university of technology and University of Gothenburg has now an
      opening for four PhD student positions to be placed at the
      University of Gothenburg.<br>
      <u>Deadline for application is 20th of August.</u><br>
    </p>
    <p>There is a list of potential projects and supervisor, among them</p>
    <p><b>Nils Anders Danielsson</b> on <i>Formalising cubical type
        theory </i><br>
    </p>
    <p>and</p>
    <p><b>Christian Sattler</b> on <i>Homotopy type theory and
        constructive higher category theory</i></p>
    <p>If you are interested in these topics please consider applying
      for the positions!<br>
    </p>
    <p>Please observe that one is employed during the phd studies in
      Sweden, with all normal benefits an employee has (pension, sick
      leave, parental leave, etc).<br>
    </p>
    <p>For more information about the possible projects and the
      applications process please visit <br>
    </p>
    <p><a class="moz-txt-link-freetext" href="https://web103.reachmee.com/ext/I005/1035/job?site=7" moz-do-not-send="true">https://web103.reachmee.com/ext/I005/1035/job?site=7</a></p>
    <p>Do not hesitate to contact Nils Anders <a class="moz-txt-link-rfc2396E" href="mailto:nad@chalmers.se" moz-do-not-send="true"><nad@chalmers.se></a> or Christian
      <a class="moz-txt-link-rfc2396E" href="mailto:sattler@chalmers.se" moz-do-not-send="true"><sattler@chalmers.se></a> directly
      if you have further questions about these particular projects.<br>
    </p>
    <pre class="moz-signature" cols="72">-- 
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
<a class="moz-txt-link-freetext" href="http://www.cse.chalmers.se/~bove" 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>