Three PhD student and one postdoc positions in computational logic, Luxembourg (Luxembourg) & Leuven (Belgium)

In the context of the Interdisciplinary Center for Security, Reliability and Trust (SnT), the Individual and Collective Reasoning (ICR) group at the University of Luxembourg headed by Leon van der Torre, and the The Knowledge Representation and Reasoning (KRR) group at the University of Leuven headed by Marc Denecker, are looking for 3 Doctoral Researchers and 1 PostDoctoral in the area of Computational logic and Knowledge Representation. The research is situated in the convergence of areas of first order logic (FO), constraint solving, datalog and answer set programming and aims to develop extensions of FO() logics and inference tools, specifically with application to the field of access and privacy policies.

These positions are part of the FWO-FNR research project on "Specification logics and Inference tools for verification and Enforcement for Policies (SIEP)".

For more information, see http://dtai.cs.kuleuven.be/krr/vacancies