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.
John Baez (May 18 2024 at 19:32):The University of Göteborg (in Sweden) is advertising a one-year position in the Logic and Types research group at the Department of Computer Science and Engineering:
Competitive candidates are expected to have a strong background, with an excellent publication record, good knowledge about homotopy type theory, and be fluent with actual formalisation in (cubical) Agda. Furthermore, the candidate should know about synthetic algebraic geometry.
John Baez (May 18 2024 at 19:33):Applications are due by May 28, 2024.