We currently have a vacancy for an Assistant Professor in Model-Based AI at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. Relevant topics of expertise include SAT solving, constraint programming, planning and scheduling, answer set programming, description logics, ontology engineering, and computer-aided verification (non-exhaustive list).
Website: https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/13023/Assistant-Professor-in-Model-Based-AI
Email: Ulle Endriss