PhD position on Practical AI Planning with Ontologies, Basel (Switzerland)

The Artificial Intelligence research group at the Department of Mathematics and Computer Science, University of Basel, is seeking a PhD candidate for a collaborative project with TU Dresden (Germany) on Practical Planning with Ontologies. This research lies at the intersection of two key areas withing symbolic AI: AI Planning and Knowledge Representation and Reasoning (KR).

This fully funded position is supported by the  Swiss National Science Foundation for a duration of three years, with the possibility of extension to a fourth year. The position is available starting December 2024, but the start can be adjusted to spring or summer 2025, based on mutual agreement.