Full professor in Theoretical Computer Science at the Institute for Logic, Language and ComputationDeadline: Tuesday 15 September 2020
We offer a position of full professor in Theoretical Computer Science at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. The area of theoretical computer science comprises a broad variety of topics or subfields, including (but not restricted to) algorithms and computational complexity, program semantics and verification, logic and computation, machine models and automata, information theory, machine learning, and the foundations of artificial intelligence. You are a leading researcher in one of these areas, has a profound knowledge of the wider area of theoretical computer science, and will be expected to make connections with other research lines in the ILLC, in particular those in logic, artificial intelligence, computational linguistics and quantum computing.
Note that the Informatics Institute is currently also establishing a new chair in Theoretical Computer Science. Both chair holders are expected to strengthen links and further build a visible nucleus of Theoretical Computer science in Amsterdam.For more information, see here or at https://www.uva.nl/shared-content/uva/en/vacancies/2020/07/20-431-full-professor-in-theoretical-computer-science-at-the-institute-for-logic-language-and-computation.html or contact Prof. Sonja Smets at S.J.L.Smets at uva.nl.