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.

  Interfolio: https://apply.interfolio.com/69329

  MathJobs: https://www.mathjobs.org/jobs/jobs/14697

  PhilJobs: https://philjobs.org/job/show/13806 

Please share this information with anyone who may be interested.

Best wishes,

Steve