Employer Active
Job Alert
You will be updated with latest job alerts via emailJob Alert
You will be updated with latest job alerts via email$ 6333 - 6416
1 Vacancy
Position Title & Department:
5264
The College of Arts and Sciences is at the heart of the University of San Diego. The College aims to establish an academic foundation for students to thrive and gain a comprehensive education which spans the sciences arts and social sciences. Through our exemplary liberal arts education and rigorous scholarship we aspire to not only educate the mind but also develop the whole person.
The University of San Diego an engaged and contemporary Catholic institution was founded by the Diocese of San Diego and the Society of the Sacred Heart in 1949. Governed by an independent board of trustees since 1972 USD remains committed to a liberal arts education grounded in the Catholic intellectual tradition and the pursuit of truth goodness and beauty. Inspired by this centuries old tradition of Catholic higher education the University welcomes people of all faith traditions and any or no religious background. The future success of USD relies on the contributions of those who seek to foster the development of engaged global citizens and an earnest confrontation of humanitys urgent challenges.
The Department of Mathematics at the University of San Diego invites applications for a postdoctoral research fellowship in homotopy type theory beginning Fall 2025. This position is 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). We expect it to be a 1-year position contingent on an expected no-cost extension of the grant through Spring 2026.
The postdoctoral fellow will work with Prof. Michael Shulman on projects related to this grant and receive mentoring in all aspects of professional development. Depending on availability and interest they 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.
Special Conditions of Employment:
Background check: Successful completion of a pre-employment background check.
Degree Verification Requirement: Persons offered employment in this position will be required to provide official education transcripts for degree verification purposes.
A PhD in mathematics or computer science completed by the beginning of Fall 2025.
BB Positions
$6333.33 - 6416.66/month; Excellent Benefits
The University of San Diego offers a very competitive benefits package including; medical dental vision a retirement contribution given to you by the University and access to on-campus Fitness Centers. Please visit the benefits section of our website to view all of the perks and benefits that USD has to offer.USD: Human Resources: Benefits
The salary range provided in this posting reflects what we reasonably expect to pay for this position. Actual compensation offered or earned is dependent on experience education and other factors including departmental budget.
Candidates are asked to submit the following materials by July 27 2025. Inquiries about the position should be directed to Dr. Michael Shulman at .
1. A cover letter discussing your interests and experience relating to homotopy type theory
2. Curriculum Vitae
3. Research statement
4. One or more letters of recommendation
The University of San Diego is a smoking and tobacco-free campus. For more information visit
Full-Time
Employment Type
Key Skills
Similar Jobs