I'm delighted to announce that we are hiring a postdoctoral fellow at Johns Hopkins in higher category theory and homotopy type theory, especially as relates to quantum field theory or quantum logic (broadly defined) funded by the ARO through their MURI program. I've described the position and the application process on the Homotopy Type Theory blog while the official solicitation is on mathjobs: https://homotopytypetheory.org/2021/03/02/postdoctoral-position-in-higher-category-theory-at-johns-hopkins/ https://www.mathjobs.org/jobs/list/17392 Please feel free to get in touch if you have any questions about the position and please send me an email to alert me to your application once it's in. All the best, Emily Riehl -- Associate Professor, Dept. of Mathematics Johns Hopkins University www.math.jhu.edu/~eriehl she/her -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAAjZwAaySodXJfa34tfFKK%2BD%3DmBSfNiViYU7SN76wkJuvpws%2BA%40mail.gmail.com.