4 PhD Positions in Logic-based Methods for Data Management , Umeå (Sweden)

We seek 4 PhD students to strengthen the group on Formal Techniques for Knowledge and Data Management at Umeå University (Sweden), funded by the WASP program (Wallenberg AI, Autonomous Systems and Software Program). The students will join a growing group that currently consists of WASP faculty members Diego Calvanese, Magdalena Ortiz, Mantas Šimkus, as well as PostDoc researchers and other doctoral students. The main theme of our research is the applications and further development of logic-based methods and techniques for smart data management. The students will also join the WASP Graduate School, gaining access to a vast professional network involving other top institutions in Sweden. We seek students with strong interest in the following research areas:

* Knowledge Representation and Reasoning
* Description Logics
* Foundations of Databases
* Logic for Computer Science
* Computational Complexity of Reasoning
* Non-monotonic Reasoning
* Logic Programming
* Automated Reasoning
* Formal Methods

The positions are fully funded for 4 years.