Dear all, I forward this message from Jaap van Oosten. Best, Benno ========================= Dear colleagues, The mathematics department of Utrecht University invites applications for two (tenure track) assistant professorships. Although the ad stresses algebraic and differential geometry, candidates from research areas in logic with clear connections to geometry (in particular model theory, category/topos theory, infinity categories, HoTT) will also be considered. For job description and application form, see https://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/Vacancy.cfm?PortalID=4124&VacatureID=1066478&Vacancy=Tenure%20Track%20Assistant%20Professor%20in%20Pure%20Mathematics%20%280%2E8%20%2D%201%2E0%20FTE%29#top Jaap van Oosten -- 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/246b0f8b-518c-42c2-80d3-9ccdd1dc176a%40googlegroups.com.