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.
Jamie Vicary (Oct 07 2022 at 15:36):The Cambridge Computer Science department is hiring a new faculty position in Logical Foundations and Formal Methods. Researchers using category theory in a computer science context would certainly be within scope. Cambridge is a wonderful place to build a career as a permanent academic. I'm happy to handle informal enquiries (by email). The closing date is 5 December 2022.
Here is the job advert: https://www.jobs.cam.ac.uk/job/37369/
Notification Bot (Oct 07 2022 at 17:48):This topic was moved here from #general > Cambridge faculty position, category-theory friendly by Matteo Capucci (he/him).