<div dir="auto"></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Den fre 24 sep. 2021 13:20Anders Mortberg <<a href="mailto:andersmortberg@gmail.com">andersmortberg@gmail.com</a>> skrev:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div dir="ltr">Dear all,<br><br><div>A quick reminder of <span>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://www.su.se/english/about-the-university/work-at-su/available-jobs?rmpage=job&rmjob=15797&rmlang=UK" target="_blank" rel="noreferrer">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://www.math.su.se/english/research" target="_blank" rel="noreferrer">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>position or application process</span>!</div><div><br></div><div>Best,</div><div><div dir="ltr">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" target="_blank" rel="noreferrer">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://www.su.se/english/about-the-university/work-at-su/available-jobs?rmpage=job&rmjob=15797&rmlang=UK" target="_blank" rel="noreferrer">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://www.math.su.se/english/research" target="_blank" rel="noreferrer">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>

<p></p>

-- <br>
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.<br>
To unsubscribe from this group and stop receiving emails from it, send an email to <a href="mailto:HomotopyTypeTheory+unsubscribe@googlegroups.com" target="_blank" rel="noreferrer">HomotopyTypeTheory+unsubscribe@googlegroups.com</a>.<br>
To view this discussion on the web visit <a href="https://groups.google.com/d/msgid/HomotopyTypeTheory/CAMWCppmGdAQmwEc9Uw_%2BC%3DkdZGkvjykMPQgRKChoog5UARcKNw%40mail.gmail.com?utm_medium=email&utm_source=footer" target="_blank" rel="noreferrer">https://groups.google.com/d/msgid/HomotopyTypeTheory/CAMWCppmGdAQmwEc9Uw_%2BC%3DkdZGkvjykMPQgRKChoog5UARcKNw%40mail.gmail.com</a>.<br>
</blockquote></div>