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: * 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/159294 File 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... -- Dr. Jonathan Weinberger (he/him/his) Assistant professor Fowler School of Engineering @ Chapman University https://sites.google.com/view/jonathanweinberger You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>