[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
A postdoc position on interplay of higher category theory, homotopy type
theory, and/or constructive mathematics is available at Chalmers University
of Technology:
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$
.
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.
Best wishes,
Christian Sattler
