This is to draw attention and encourage applications to an assistant/associate professor job opportunity in logical foundations and formal methods at the Department of Computer Science and Technology, University of Cambridge, with closing date for applications on 5 December 2022. I will be happy to receive informal enquiries about the post by email, Marcelo. -- 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/CANJchXtNm9xTinDzN7vPhZCPS6_oddqxpfwVR3Rg-0Q_TubZVg%40mail.gmail.com.