[TYPES/announce] (Post-)Doctoral positions at Chapman U 2026

[Jonathan Weinberger]

Chapman University in Orange, California, USA, is hiring doctoral students
and postdoctoral fellows through two different programs (see below).
Applicants for either program will be selecting their desired mentors, and
I am seeking a doctoral student and/or postdoctoral fellow.

You're invited to consider applying if you are interested to work with me
on at least one of the following topics, or a related one:

* logical and mathematical methods in computer science (in particular:
category theory, type theory, or programming language theory)
* logical, categorical, or synthetic aspects of homotopy theory, topology,
and geometry
* proof assistants and formalization of mathematics
* AI and machine learning for automated reasoning and theorem proving
* verification and formal methods in software engineering

If you're interested in applying, please reach out to me via:
jweinberger at chapman.edu

*1) INFORMATION ON THE DOCTORAL POSITION (MPP PROGRAM)*

Chapman University's graduate program in Mathematics, Philosophy, and
Physics (MPP) is looking for graduate students. The degree awarded upon
completion of this research-focused graduate program is Doctor of Science
(DSc), equivalent to a Doctor of Philosophy (PhD). All areas of math,
philosophy, and physics are welcome, but an interdiscplinary perspective is
encouraged. *A Master's degree is required but you are invited to apply if
you are currently a Master's student.*

*Deadline for full fellowship consideration: January 15, 2026*

*Please apply via the Graduate Application on the MPP website
(https://urldefense.com/v3/__http://www.chapman.edu/mpp__;!!IBzWLUs!XLxsr5tPvP9sRPTiY4Q0cH570-Imd7ScMayuARUMzjM4kWW-o5rhGwvCxqPQLJYJymwzSBCycHt-3P9CVykJSy8-Cb_qcHHNLNSr-7SM$  <https://urldefense.com/v3/__http://www.chapman.edu/mpp__;!!IBzWLUs!XLxsr5tPvP9sRPTiY4Q0cH570-Imd7ScMayuARUMzjM4kWW-o5rhGwvCxqPQLJYJymwzSBCycHt-3P9CVykJSy8-Cb_qcHHNLNSr-7SM$ >).*

*Important links:*

   - How to apply:
   https://urldefense.com/v3/__https://www.chapman.edu/admission/graduate/apply/how-to-apply.aspx__;!!IBzWLUs!XLxsr5tPvP9sRPTiY4Q0cH570-Imd7ScMayuARUMzjM4kWW-o5rhGwvCxqPQLJYJymwzSBCycHt-3P9CVykJSy8-Cb_qcHHNLGW5kXi3$ 
   - Virtual open house info sessions RSVP on January 9:
   https://urldefense.com/v3/__https://go.chapman.edu/portal/is-mpp__;!!IBzWLUs!XLxsr5tPvP9sRPTiY4Q0cH570-Imd7ScMayuARUMzjM4kWW-o5rhGwvCxqPQLJYJymwzSBCycHt-3P9CVykJSy8-Cb_qcHHNLMBKu_7Z$ 
   - MPP program website:
   https://urldefense.com/v3/__https://www.chapman.edu/scst/graduate/dsci-mpp.aspx__;!!IBzWLUs!XLxsr5tPvP9sRPTiY4Q0cH570-Imd7ScMayuARUMzjM4kWW-o5rhGwvCxqPQLJYJymwzSBCycHt-3P9CVykJSy8-Cb_qcHHNLLSrtjhX$ 
   - Program structure and curriculum:
   https://urldefense.com/v3/__https://catalog.chapman.edu/preview_program.php?catoid=57&poid=12060&hl=*22MPP*22&returnto=search__;JSU!!IBzWLUs!XLxsr5tPvP9sRPTiY4Q0cH570-Imd7ScMayuARUMzjM4kWW-o5rhGwvCxqPQLJYJymwzSBCycHt-3P9CVykJSy8-Cb_qcHHNLFjJzfTU$ 


*2) INFORMATION ON THE POSTDOCTORAL POSITION (GCI PROGRAM)*

Chapman University's Grand Challenges Initative (GCI) is offering
postdoctoral fellow positions. 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. Past
   fellows have a history of moving on to faculty positions.

Conditions of the job:

   - Approximately 70% of time is dedicated to research and 30% to teaching.
   - Appointments will begin in late summer 2026 for one year with up to
   two years of extension contingent on performance.
   - Fellows joining our community are offered a competitive annual salary
   ($70,304), benefits, annual research support ($5,000), and personalized
   professional development in teaching and research.

*Please read the full description and apply at:
**https://urldefense.com/v3/__https://apply.interfolio.com/176832__;!!IBzWLUs!XLxsr5tPvP9sRPTiY4Q0cH570-Imd7ScMayuARUMzjM4kWW-o5rhGwvCxqPQLJYJymwzSBCycHt-3P9CVykJSy8-Cb_qcHHNLK-kuMQy$ 
<https://urldefense.com/v3/__https://apply.interfolio.com/176832__;!!IBzWLUs!XLxsr5tPvP9sRPTiY4Q0cH570-Imd7ScMayuARUMzjM4kWW-o5rhGwvCxqPQLJYJymwzSBCycHt-3P9CVykJSy8-Cb_qcHHNLK-kuMQy$ >*
*File review will commence on January 21, 2026*

*Important links:*

   - GCI Team:
   https://urldefense.com/v3/__https://www.chapman.edu/about/our-home/keck-center/gci/fellows.aspx__;!!IBzWLUs!XLxsr5tPvP9sRPTiY4Q0cH570-Imd7ScMayuARUMzjM4kWW-o5rhGwvCxqPQLJYJymwzSBCycHt-3P9CVykJSy8-Cb_qcHHNLGGMEO92$ 
   - Article on GCI mentorship:
   https://urldefense.com/v3/__https://blogs.chapman.edu/gci/2022/07/21/grand-challenges-initiative-program-highlighted-in-science/__;!!IBzWLUs!XLxsr5tPvP9sRPTiY4Q0cH570-Imd7ScMayuARUMzjM4kWW-o5rhGwvCxqPQLJYJymwzSBCycHt-3P9CVykJSy8-Cb_qcHHNLK9Mdfwj$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260105/1df43f1b/attachment-0001.htm>