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.
@Jonathan Weinberger posted this on the category theory mailing list:
Chapman University's Grand Challenges Initative (GCI) is offering postdoctoral fellow positions. As a part of this, I am looking for a postdoctoral fellow to work with me in one or more of the following (or adjacent) areas:
(homotopy) type theory, (higher) category theory, proof assistants / formalization of mathematics, (abstract) homotopy theory, mathematical logic, or other areas of theoretical computer science
The position is offered through Chapman University's Grand Challenges Initative (GCI): https://www.chapman.edu/about/our-home/keck-center/gci/index.aspx
Fellows in the program gain valuable experience by:
Being involved in a community of fellows and a world-class postdoctoral mentorship program and that is leading to great results -- openings in the program this year are anticipated as a result of current fellows moving on to faculty positions.
Conditions of the job:
Fellows split their time about 70:30 research and teaching; they have no teaching obligations during interterm or summer.
Please read the full description and apply at:
https://apply.interfolio.com/159294
File review will commence on January 22, 2025
Please reach out to me if you are interested.
Further information:
Thank you @John Baez. Anyone interested please reach out at: jweinberger@chapman.edu