PhD student position in applied logic, Luxembourg (Luxembourg)

The University of Luxembourg seeks to hire outstanding researchers at its Interdisciplinary Centre for Security, Reliability and Trust (SnT).

SnT is a recently formed centre carrying out interdisciplinary research in secure, reliable and trustworthy ICT (Information and Communication Technologies) systems and services, often in collaboration with industrial, governmental or international partners. The candidate will work in the Individual and Collective Reasoning Group of Prof. Leon van der Torre. The position is embedded in the RationalArchitecture project, which is done in collaboration with Prof. Erik Proper of the CRP Henri Tudor and funded by the National Research Fund in Luxembourg (FNR).

The goal of the PhD project is to develop and evaluate a general logical framework for the analysis of complex high-level decisions (about enterprise architecture, or research strategies) in knowledge gathering and processing institutions (e.g. companies in the finance sector, or research centers). Advanced techniques from knowledge representation (e.g. nonmonotonic reasoning) and multi-agent systems (e.g. action logics) will be applied and generalized to model the dynamics and uncertainty characteristic of such a socio-epistemic context.

Deadline for applications: December 15th, 2012. For more information, see http://recruitment.uni.lu/en/details.html?nPostingTargetId=1821 or contact Prof. Leon van der Torre, leon.vandertorre at uni.lu.