University of San Diego, Mathematics

1469 17210Position ID: USD-PFHOTT [#17210]
Position Title: Postdoctoral Fellow
Position Type: Postdoctoral
Position Location: San Diego, California 92110, United States [map]
Subject Area: homotopy type theory
Application Deadline: 2021/02/01 11:59PMhelp popup (posted 2021/01/21)
Position Description:    

*** the list date or deadline for this position has passed. ***

The Department of Mathematics at the University of San Diego invites applications for a postdoctoral research fellowship in homotopy type theory beginning Fall 2021, or earlier if desired. This is a two-year position with potential extension to a third year, funded by the grant entitled “Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory” from the Multidisciplinary University Research Initiative (MURI) program of the Air Force Office of Scientific Research (AFOSR).

The postdoctoral fellow will work with Prof. Michael Shulman on projects related to this grant, and receive mentoring in professional development. Depending on availability and interest, the fellow may have the opportunity to help supervise undergraduate research students and/or to teach undergraduate courses.

Applications are encouraged from candidates working in any area related to homotopy type theory, broadly construed.

Job Requirements

  • A Ph.D. in mathematics or computer science, completed by the beginning of Fall 2021.
  • Successful completion of a pre-employment background check.
  • Persons offered employment in this position will be required to provide official education transcripts for degree verification purposes. 

How to Apply

Please complete the online application at the University of San Diego recruitment page. Please include the following materials:

  • A cover letter discussing your interests and experience relating to homotopy type theory
  • Curriculum Vitae
  • Research statement
  • Teaching statement (optional)
  • Contact information for three references

Priority will be given to applications received by February 1, 2021.

The University of San Diego is an equal opportunity employer committed to diversity and inclusion and is especially interested in candidates who can contribute to the diversity and excellence of the campus community.

The University of San Diego is a smoking and tobacco-free campus. For more information, visit

We are not accepting applications for this position through Mathjobs.Org right now. Please apply at
Contact: Dr. Michael Shulman
Postal Mail:
Department of Mathematics
5998 Alcala Park
San Diego, CA 92110
Web Page:

© 2021 MathJobs.Org, American Mathematical Society. All Rights Reserved.