Assistant Professor in Model-Based AI

Are you a passionate teacher and ambitious researcher working on fundamental questions in AI? Are you looking for a faculty position in a stimulating academic environment? Then please read on.

Modern applications of AI in high-stakes domains such as health, law, or security call for solutions that can offer adequate levels of safety, accountability, transparency, responsibility, trustworthiness, and explainability. Such applications often are knowledge-intensive and depend on provably correct system behaviour. Requirements such as these necessitate the development of what in recent years have come to be known as model-based approaches to AI.

We are looking for a specialist in an area of model-based AI such as, for example, SAT solving, constraint programming, planning and scheduling, answer set programming, description logics, ontology engineering, or computer-aided verification. We hope that you will be able to connect with the long and proud research tradition in logic at the ILLC, while also reaching out to the broader AI research community in Amsterdam.

What are you going to do

As Assistant Professor, you will be expected to perform the following tasks:

• to develop an independent line of research in your area of expertise, resulting in contributions published in leading international venues;
• to eventually build up and coordinate a research team and supervise PhD candidates;
• to teach in AI and Computer Science, in programmes such as the BSc Computer Science, the BSc Artificial Intelligence, the MSc Artificial Intelligence, and the MSc Logic;
• to supervise Bachelor's and Master's students;
• to initiate and contribute to proposals for raising external funding;
• to contribute to research valorisation and outreach activities;
• to contribute to management tasks in education and research at the institute.