CAUTION: The Sender of this email is not from within Dalhousie. I'm delighted to announce that we are hiring a postdoctoral fellow at Johns Hopkins in homotopy type theory (broadly defined) funded by the AFSOR through their MURI program. I've described the position and the application process on the n-Category Café while the official solicitation is on mathjobs: https://golem.ph.utexas.edu/category/2021/01/postdoctoral_position_in_hott.h... https://www.mathjobs.org/jobs/list/17122 If you are already working in homotopy type theory, then certainly this call for applications is for you, but I'm also open to considering applications from folks working in nearby areas who would be interested in getting into the field. Please feel free to get in touch if you'd like to discuss, and please send me an email to alert me to your application once it's in. Happy New Year! Emily Riehl -- Associate Professor, Dept. of Mathematics Johns Hopkins University www.math.jhu.edu/~eriehl she/her [For admin and other information see: http://www.mta.ca/~cat-dist/ ]