<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  </head>
  <body>
    <p>Sorry, the url should be</p>
    <p><a href="https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=31163" target="_blank">https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=31163</a></p>
    <div class="moz-cite-prefix">On 2023-07-10 19:00, Ana Bove wrote:<br>
    </div>
    <blockquote type="cite" cite="mid:5fe74142-9700-a6f0-698d-d9d6d1ae8942@chalmers.se">
      
      <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>
      <br>
      <fieldset class="moz-mime-attachment-header"></fieldset>
      <pre class="moz-quote-pre" wrap="">_______________________________________________
Agda mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a>
<a class="moz-txt-link-freetext" href="https://lists.chalmers.se/mailman/listinfo/agda">https://lists.chalmers.se/mailman/listinfo/agda</a>
</pre>
    </blockquote>
    <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">http://www.cse.chalmers.se/~bove</a>
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg</pre>
  </body>
</html>