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:
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