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]<mailto:[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 (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
