Johns Hopkins University, Mathematics

Johns Hopkins University, Mathematics

Position ID: JHU-AFOSR [#17122] Position Title: Postdoctoral FellowPosition Type: Postdoctoral

Position Location: Baltimore, Maryland 21218, United States [map]Subject Area: Homotopy type theory Application Deadline: 2021/01/15 11:59PM (posted 2020/12/31, listed until 2021/06/30) Position Description:   Apply    

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 https://www.mathjobs.org/jobs/list/17122. 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 [email protected].