[HoTT] Postdoctoral positions (1-3 yrs) at Chapman U

[HoTT] Postdoctoral positions (1-3 yrs) at Chapman U

[Jonathan Weinberger]

[-- Attachment #1: Type: text/plain, Size: 2376 bytes --]

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-highlighted-in-science/

--
Dr. Jonathan Weinberger (he/him/his)
Assistant professor
Fowler School of Engineering @ Chapman University

https://sites.google.com/view/jonathanweinberger

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAOOoPfUtZ7kgYmxj%2BKEYXAA5v-9_1UqKpiTL%2Bkqa2OmmiwSoVw%40mail.gmail.com.

[-- Attachment #2: Type: text/html, Size: 3633 bytes --]