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.aspxFellows in the program gain valuable experience by:
* Teaching critical thinking, foundational problem solving, and communication skills to our first- and second-year STEM students
* Conducting research with a faculty mentor
* 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.
* The position is initially for 1 year and renewable by up to 2 years in addition, depending on performance.
* It includes a generous salary ($68,460 per year), full benefits, and research stipend ($5000 per year).
Please read the full description and apply at:
https://apply.interfolio.com/159294File review will commence on January 22, 2025
Please reach out to me if you are interested.
Further information:
* GCI Team:
https://www.chapman.edu/about/our-home/keck-center/gci/fellows.aspx* Article on GCI mentorship:
https://blogs.chapman.edu/gci/2022/07/21/grand-challenges-initiative-program-highlighted-in-science/