Friends, 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 -- 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/038DEE27-9A75-459B-938A-ED14B51CF6BB%40cmu.edu.