CAUTION: The Sender of this email is not from within Dalhousie. [My apologies that this is going out a bit late; somehow the email didn't get sent earlier.] The University of San Diego invites applications for a postdoctoral research fellowship in homotopy type theory (broadly defined), funded by the AFOSR MURI grant. The priority application deadline is THIS Monday, February 1, 2021. More information and the application link are available at: https://homotopytypetheory.org/2021/01/20/usd-postdoc/ https://jobs.sandiego.edu/cw/en-us/job/494290/postdoctoral-fellow In addition to candidates already working in homotopy type theory, applications are also encouraged from candidates whose background is in a related area but are interested in starting to work on HoTT. Please forward to anyone you think may be interested, and feel free to contact me with any questions! -- Mike Shulman Associate Professor of Mathematics University of San Diego [For admin and other information see: http://www.mta.ca/~cat-dist/ ]