[TYPES/announce] postdoc on higher category theory in Gothenburg, Sweden

[Christian Sattler]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20241009/840e0e50/attachment.htm>