<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!HW4ucEENQqx0BeLkozigKEQZvUCYDHotG1kK5qIwWKsCeLbO6op2tU3PfHYbudVh0FwcIjXC5tgMKw$" 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!HW4ucEENQqx0BeLkozigKEQZvUCYDHotG1kK5qIwWKsCeLbO6op2tU3PfHYbudVh0FwcIjUx0D4ePg$" 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>