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.
A message from the Topos Institute:
Recruiting
Next month Dr Kevin Arlin will be joining us as a Research Software Engineer. Kevin has a PhD in higher category theory from UCLA, and a Part III from Cambridge, and is coming to us from a role as a curriculum developer at The Art of Problem Solving. He's an experienced category theorist with a strong interest in making it accessible to others, both through education and building software.
Applications have now closed for our summer research associate program, and we have selected a passionate and diverse cohort of seven students, with interests ranging across type theory, machine learning, natural language processing, scientific computing, polynomial functors, and mathematics outreach. We're excited for the new energy and perspectives they'll bring to Topos this summer.
We are continuing to recruit for the following positions, all based in Berkeley:
We're also working hard on a call for applications for a Research Ethicist, to be posted shortly. Please feel free to spread the word.
That's interesting. I've never heard of the job "research ethicist" before. Looking forward to the job description.