<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">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">https://www.math.su.se/english/research</a></div><div><br></div><div></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><br></div><br></div>