You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Christian Sattler (Oct 09 2024 at 08:25):A postdoc position on interplay of higher category theory, homotopy type theory, and/or constructive mathematics is available at Chalmers University of Technology.
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.
Christian Sattler (Oct 22 2024 at 11:47):Apologies, there was a problem with formatting the link. It is fixed now: https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=13267&rmlang=UK
Christian Sattler (Oct 22 2024 at 11:48):We may be looking for candidates also after the deadline, so please contact me if you are interested.