<div dir="ltr"><div dir="ltr">Dear all,<br><br><div>A quick reminder of <span class="gmail-il">the postdoctoral</span> position in HoTT and related topics that I advertised a couple of weeks ago, with deadline <b>October 1</b> (midnight Stockholm time).<br></div></div><div dir="ltr"><br><div>Full details and application at: <a href="https://urldefense.com/v3/__https://www.su.se/english/about-the-university/work-at-su/available-jobs?rmpage=job&rmjob=15797&rmlang=UK__;!!IBzWLUs!DtuZsNTodN62rcs7_yEB1aKIn1Xx8dTk9UiLbqd1uYMpxjvbcYqcbVS_QBUW8oYrJdHrxn_2FSOquA$" target="_blank">https://www.su.se/english/about-the-university/work-at-su/available-jobs?rmpage=job&rmjob=15797&rmlang=UK</a></div><div><br></div><div>Departmental webpage: <a href="https://urldefense.com/v3/__https://www.math.su.se/english/research__;!!IBzWLUs!DtuZsNTodN62rcs7_yEB1aKIn1Xx8dTk9UiLbqd1uYMpxjvbcYqcbVS_QBUW8oYrJdHrxn-xPny4KA$" target="_blank">https://www.math.su.se/english/research</a></div><div><br></div><div>Once again, please get in touch with me if you have any questions about the <span class="gmail-il">position or application process</span>!</div><div><br></div><div>Best,</div><div><div dir="ltr" class="gmail_signature">Anders</div></div><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Sep 6, 2021 at 1:43 PM Anders Mortberg <<a href="mailto:anders.mortberg@math.su.se">anders.mortberg@math.su.se</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"> Dear all,<br><br><div>I’m
 pleased to announce that we’re hiring a postdoctoral researcher in 
homotopy type theory and related topics at Stockholm University. It’s a 2
 year position, provisionally starting January 2022, in the 
computational mathematics group of the Mathematics Department. The 
application deadline is 1 October.</div><br>We welcome all applicants interested in working on homotopy type theory
 and related topics. Potential project topics include, but are not limited to: homotopy type theory, categorical models of type 
theories, cubical type theories, implementation of proof assistants, computer formalization of mathematics and computer science.<div><br></div><div>Full details and application at: <a href="https://urldefense.com/v3/__https://www.su.se/english/about-the-university/work-at-su/available-jobs?rmpage=job&rmjob=15797&rmlang=UK__;!!IBzWLUs!DtuZsNTodN62rcs7_yEB1aKIn1Xx8dTk9UiLbqd1uYMpxjvbcYqcbVS_QBUW8oYrJdHrxn_2FSOquA$" target="_blank">https://www.su.se/english/about-the-university/work-at-su/available-jobs?rmpage=job&rmjob=15797&rmlang=UK</a></div><div><br></div><div>Departmental webpage: <a href="https://urldefense.com/v3/__https://www.math.su.se/english/research__;!!IBzWLUs!DtuZsNTodN62rcs7_yEB1aKIn1Xx8dTk9UiLbqd1uYMpxjvbcYqcbVS_QBUW8oYrJdHrxn-xPny4KA$" target="_blank">https://www.math.su.se/english/research</a></div><div><br></div><div>Please get in touch with me if you have any questions about the position!</div><div><br></div><div>Best,<br></div><div>Anders</div><div></div><br></div>
</blockquote></div></div>