<div dir="ltr"><div>A postdoc position on interplay of higher category theory, homotopy type theory, and/or constructive mathematics is available at Chalmers University of Technology: <a href="https://urldefense.com/v3/__https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=13267&rmlang=UK__;!!IBzWLUs!UMTKB0nFg7ZQZsNSBBaTEHLQnpyPGg8i_r5Uv1R54aMfg26p6oYlhIQKBvPIUXE7W5ZGwsZ_5gRalC21BW0mT4BD6zgtoxGdaA$" target="_blank">https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=13267&rmlang=UK</a>.</div><div><br></div><div>The application deadline is November 3. The starting date is flexible and the duration is for up to 3 years. If you know of any interested candidates, please spread the word.</div><br><div>Best wishes,</div><div>Christian Sattler</div></div>