Logic List Mailing Archive

CfA: PhD Studentships & Postdoctoral Fellowships in Logic / Category Theory & Theorem Proving, Chapman University (USA), deadline: 15 Jan

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@chapman.edu<mailto:jweinberger@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 (www.chapman.edu/mpp<http://www.chapman.edu/mpp>).

Important links:

  *   How to apply: https://www.chapman.edu/admission/graduate/apply/how-to-apply.aspx
  *   Virtual open house info sessions RSVP on January 9: https://go.chapman.edu/portal/is-mpp
  *   MPP program website: https://www.chapman.edu/scst/graduate/dsci-mpp.aspx
  *   Program structure and curriculum: https://catalog.chapman.edu/preview_program.php?catoid=57&poid=12060&hl=%22MPP%22&returnto=search

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://apply.interfolio.com/176832
File review will commence on January 21, 2026

Important links:

  *   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/
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php