The Department of Philosophy at Carnegie Mellon University is looking to hire a mathematical logician at the assistant professor level.
Note that HoTT is included among the possible areas of specialization.
Please share this information with anyone who may be interested.
Best wishes,
Steve