Johns Hopkins University, Mathematics

Position ID: JHU-AFOSR [#17122]
Position Title: Postdoctoral Fellow
Position Type: Postdoctoral
Position Location: Baltimore, Maryland 21218, United States [map]
Subject Area: Homotopy type theory
Application Deadline: 2021/01/15 11:59PMhelp popup finished (2020/12/31, finished 2021/07/16, listed until 2021/06/30)
Position Description:    

*** this position has been closed and new applications are no longer accepted. ***

The Department of Mathematics at Johns Hopkins University solicits applications for one postdoctoral fellowship beginning Summer 2021. The position is funded by the Air Force Office of Scientific Research (AFOSR) through the Multidisciplinary University Research Initiative (MURI) program.

The postdoctoral fellow will work with Prof. Emily Riehl on projects related to the grant entitled "Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory." In addition, the candidate will teach two courses in the mathematics department per academic year and receive mentoring in all aspects of professional development.

Applications are encouraged from candidates working in areas broadly related to homotopy type theory, such as categorical homotopy theory or computer formalization of mathematics. Applications may be submitted online at Please submit your AMS cover sheet, curriculum vitae, and research and teaching statements, and arrange the submission of up to four letters of recommendation, one of which addresses teaching. In addition, please discuss your interests relating to and prior experience with homotopy type theory in a cover letter of one to two pages. Applications received by January 15, 2021 will be given priority.

Johns Hopkins University is committed to active recruitment of a diverse faculty and student body. The University is an Affirmative Action/Equal Opportunity Employer of women, minorities, protected veterans and individuals with disabilities, and encourages applications from members of these and other protected groups. We are committed to conducting a broad and inclusive search for a candidate who will contribute to the diversity and excellence of the JHU community. Consistent with the University's goals of achieving excellence in all areas, we will assess the comprehensive qualifications of each applicant.

If you have questions concerning this position, please contact Joyce Moody at

Application Materials Required:
Submit the following items online at this website to complete your application:
And anything else requested in the position description.

Further Info:
Appointments Committee
Department of Mathematics
Johns Hopkins University
404 Krieger Hall
3400 North Charles Street
Baltimore, MD 21218