[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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:
[email protected]
*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$
