The Coq mailing list

[Jonathan Weinberger <weinbergerjonathan AT gmail.com>]

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

You are encouraged to apply for either program if you are interested to work with me on at least one of the following topics, or a related one:

* (homotopy) type theory
* (higher) category theory
* (abstract) homotopy theory
* proof assistants / formalization of mathematics
* mathematical logic
* any area in theoretical computer science

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, 2025

Please apply via the Graduate Application on the MPP website (www.chapman.edu/mpp).

Important links:

Call for Applications https://www.chapman.edu/scst/graduate/mpp-call-for-applications-fall-2025.aspxVirtual open house info sessions RSVP: https://go.chapman.edu/portal/is-mppMPP program website: https://www.chapman.edu/scst/graduate/dsci-mpp.aspxProgram structure and curriculum: https://catalog.chapman.edu/preview_program.php?catoid=49&poid=9830&returnto=2607

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 studentsConducting research with a faculty mentorBeing 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

Important links:

GCI Team: https://www.chapman.edu/about/our-home/keck-center/gci/fellows.aspxArticle 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