Postdoctoral researcher in logic, Luxembourg (Luxembourg)

The University of Luxembourg seeks to hire an outstanding postdoctoral researcher at its Interdisciplinary Centre for Security, Reliability and Trust, who will be embedded in the Individual and Collective Reasoning Group of Prof. Leon van der Torre.

This position is part of the FWO-FNR research project on "Specification logics and Inference tools for verification and Enforcement of Policies (SIEP)", which is done in cooperation with the group of Prof. Marc Denecker in Leuven. It is situated at the crossing of knowledge representation (in first order and modal logic), constraint solving, datalog, and answer set programming. The goal is to develop extensions of FO logics and corresponding inference tools with an eye on applications in the area of access and privacy policies.

Deadline for applications: June 20th, 2013. REF : SnT-RA-SIEP-0513 3-year project. For inquiries please contact Prof. Leon van der Torre (leon.vandertorre at uni.lu) or see http://recruitment.uni.lu/en/details.html?nPostingTargetID=2774