Doctoral and PostDoctoral Positions in Computational Logic/KRR

[Marc Denecker]

Doctoral and PostDoctoral Positions in Computational Logic/KRR

The Knowledge Representation and Reasoning (KRR) group at the University
of Leuven headed by Marc Denecker

The Individual and Collective Reasoning (ICR) group at the University of
Luxembourg headed by Leon van der Torre

are looking for 1 PostDoctoral and 3 Doctoral Researchers in the area of
Computational logic and Knowledge Representation. The research is
situated in the convergence of areas of classical 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)".

The positions are based at the following locations:

- Leuven: 2 PhD positions

http://dtai.cs.kuleuven.be/krr/

The project fits into KRR's aim to develop finite domain inference
technologies for knowledge-based problem solving using the  FO-based KR
language FO(.). 

Topics: In close collaboration with Luxembourg, PhD students will be
involved in research extending FO(.) with epistemic primitives  for
expressing access and privacy policies. They will extend the existing
IDP knowledge base system  using techniques  inspired by and extending
those found in areas such as from SAT, model generation, SAT modulo
Theories, Answer Set Programming and Datalog. Tools will be evaluated in
novel applications of access and privacy policies, including
verification, compliance checking, analysis, experimentation, simulation
and  execution of policies.


- Luxembourg: 1 Postdoc and 1 PhD position

http://icr.uni.lu/

Topics: The PostDoc will lead the work on the extension of FO(.)
languages to handle  aspects of policies (e.g. epistemic aspects  in the
context of uncertainty),  inference algorithms and applications. The PhD
student in Luxemburg will focus on applications and methodology and the
integration of various aspect of policies (delegation, revocation,
dynamic aspects,  logical aspects, etc.), explanations, etc.

Conditions for Leuven

Successful candidates for the PhD positions hold either a MSc in
Computer Science, Mathematics or a related discipline and have an
interest in logic, formal methods and inference.

The appointment is initially for 4 years and afterwards subject to
project extension. The salaries follow the Belgian or Luxembourg scheme
depending on the location. Initial screening of applications begins
immediately and the positions remain open until filled.

Applications: Please contact Marc Denecker  and/or Leendert van der
Torre, preferably via email to

        Marc Denecker <Marc.Denecker at cs.kuleuven.be>
        Leendert van der Torre  <leon.vandertorre at uni.lu>


-- 

   Marc Denecker (prof)
   KU Leuven   			    
   Departement Computerwetenschappen    tel: ++32 (0)16/32.75.57
   Celestijnenlaan 200A Room A02.145    fax: ++32 (0)16/32.79.96
   B-3001 Heverlee, Belgium 
   email: Marc.Denecker at cs.kuleuven.be
   http://people.cs.kuleuven.be/~marc.denecker/ 
 ........................................................................


Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm