Logic List Mailing Archive

Assistant Professorship (permanent) in Model-Based AI, Amsterdam (The Netherlands), Deadline: 22 Nov 2021

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).

Details: 
https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/13023/Assistant-Professor-in-Model-Based-AI

Deadline: 22 November 2021

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam