Category Theory
Zulip Server
Archive

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.


Stream: community: positions

Topic: Postdoc positions at Chapman U.


view this post on Zulip John Baez (Nov 27 2024 at 05:38):

@Jonathan Weinberger posted this on the category theory mailing list:

Postdoctoral positions (1-3 yrs) at Chapman University

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:

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:

view this post on Zulip Jonathan Weinberger (Nov 27 2024 at 07:52):

Thank you @John Baez. Anyone interested please reach out at: jweinberger@chapman.edu