News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

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

umu.png
Deadline: Tuesday 28 February 2023

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.

Please note that this newsitem has been archived, and may contain outdated information or links.