Assistant Professor for Logic in AI, VU Amsterdam (The Netherlands)

The Knowledge in Artificial Intelligence group (KAI) of the Computer Science department at the VU seeks a new colleague who will contribute to our research on Logic in AI.

The mission of the KAI group is to gain a better understanding of the representation, acquisition, extraction and management of explicitly modelled, mostly symbolic, knowledge and to use such knowledge in artificial intelligent agents. We want to strengthen our group with a researcher with enthusiasm for, and a track record in, (computational) Logic. The successful applicant will receive a career track appointment (1.5 years) with a view to a permanent position after a positive evaluation.