The Department of Mathematics at Johns Hopkins University solicits applications for one two-year postdoctoral fellowship beginning Summer 2021 (with some flexibility in the start and end dates). The position is funded by the Air Force Office of Scientific Research (AFOSR) through the Multidisciplinary University Research Initiative (MURI) program. This position is open to anyone who is able to obtain a visa to come and work in the US, but it is necessary to be physically in the US to receive funding from this grant. (Johns Hopkins will sponsor and pay for a visa application, if required.)

The postdoctoral position is funded by the grant “Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory,” a collaborative project with Mike Shulman (lead), Steve Awodey, Favonia, Bob Harper, and Dan Licata. I hope the postdoc will be interested in collaborating with me or my students, as well as with other members of the MURI team. 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. The emphasis here should be on the “broadly.” In particular, if your PhD is in a related area, but you have a demonstrated interest in homotopy type theory and are interested in getting into the field, I’d be very open to considering your application.

Applications may be submitted online at https://www.mathjobs.org/jobs/list/17122. The mathjobs post asks for a a cover letter of one to two pages discussing your interests relating to and prior experience with homotopy type theory, the standard AMS cover sheet, curriculum vitae, and research and teaching statements, accompanied by up to four letters of recommendation, one of which addresses teaching.

The cover letter is meant to convey suitability for this particular position, as opposed to one that is open to all research areas, so in a sense, this is the document that’s the most important (especially if you are new to the field). In particular, if you do not have the other documents already prepared, please feel free to submit your application without them. (The teaching statement and teaching letter will be required eventually by all candidates nominated for the short list.)

Applications received by January 15, 2021 will be given priority (but this is a soft deadline). Please send me an email to alert me to your application once it is in.

Finally, Johns Hopkins 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.