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. We are committed to conducting a broad and inclusive search for candidates 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. The university does not discriminate on the basis of sex, gender, marital status, pregnancy, race, color, ethnicity, national origin, age, disability, religion, sexual orientation, gender identity or expression, veteran status or other legally protected characteristic. The university is committed to providing qualified individuals access to all academic and employment programs, benefits and activities on the basis of demonstrated ability, performance and merit without regard to personal factors that are irrelevant to the program involved. If you have questions concerning this position, please contact Joyce Moody at joycem@jhu.edu. |