Dear all, The University of Amsterdam has advertised multiple faculty positions in Theoretical Computer Science. Please find the advert below. Best wishes, Benno ============================ Deadline: Monday 7 February 2022 Are you working at the forefront of theoretical computer science and are you equally passionate about research and teaching in this field? Are you looking forward to taking the next step in your career and are you excited about joining a renowned interdisciplinary research institute with a strong international orientation? The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam (UvA) is seeking to significantly strengthen its profile in the domain of theoretical computer science by appointing two new faculty members in this area. One appointment will be made at either the Full Professor or the Associate Professor level, and another at either the Associate Professor or the Assistant Professor level. We are looking for outstanding academics, with a strong track record in research (relative to the level of seniority of the applicant) and a true dedication to first-class teaching. We offer a temporary employment contract for a period of two years, with the intention of converting it into a permanent contract after a positive assessment. For more information, see http://www.illc.uva.nl/ NewsandEvents/News/Positions/newsitem/13249/Multiple-Faculty-Positions-in- Theoretical-Computer-Science or at https://vacatures.uva.nl/UvA/job/Faculty-Positions-in- Theoretical-Computer-Science/737826402/ or contact Prof. dr. Ulle Endriss at U.Endriss at uva.nl. -- 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/32f1a802-22f6-4b94-831e-df624d1efe2fn%40googlegroups.com.