Postdoctoral Researcher

About the role

The postdoctoral researcher will be part of the team working on the grant "Proof assistants for formalization of higher category theory". The primary task at this site of the grant is to finish development of the experimental proof assistant Narya and explore its uses for formalization of higher category theory. Secondary tasks include developing the metatheory of type theory for the purpose of establishing the formal theory of Narya, and developing the higher-categorical model category theory for the purpose of establishing its categorical semantics.

The postdoctoral researcher will operate under the general guidance of the Supervisor. Research goals for the postdoc will be set collaboratively between the researcher and the supervisor, based on the postdoc's background, skills, interests, and prior achievements and work in progress. Depending on the specific research goals, the postdoc may work largely independently, in close collaboration with the supervisor, or somewhere in between. In any case, the postdoc should expect to meet at least weekly with the supervisor to discuss research.

Requirements

• A PhD in Mathematics or Computer Science
• Successful completion of a pre-employment background check
• Persons offered employment will be required to provide official transcripts for degree verification purposes

Pay & benefits

• Full-time 11-month contract, benefits-eligible
• Salary of $6,900/Monthly
• Excellent benefits including medical, dental, vision, a retirement contribution given to you by the University, and access to on-campus Fitness Centers

Application instructions

Applicants are asked to submit the following materials:

• A brief letter of application, including an overview of any current and past research and background that is applicable to the goals of the grant project
• Curriculum vita
• Contact information for two references who will be sent a link to upload letters

Candidates are asked to submit these materials by June 7, 2026. Inquiries about the position should be directed to Dr. Michael Shulman at shulman@sandiego.edu. If you have any technical difficulties please contact the Employment Services Team at jobs@sandiego.edu.

This is a full-time/benefit-based position with an anticipated end date of March 31, 2027. The appointment is renewable at the discretion of the University and dependent upon performance and continued funding.