[PlanetKR] Doctoral and PostDoctoral Positions in Computational Logic/KRR

Mary-Anne Williams Mary-Anne at TheMagicLab.org
Sat May 5 19:00:12 EST 2012


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 expressive
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>




------
Professor Mary-Anne Williams
Director, Innovation and Enterprise Research Lab
Associate Dean (Research and Development)
Faculty of Engineering and Information Technology
University of Technology, Sydney
*
Research and Development Office
Building 2 Level 7 Room 7092
*P.O. 123 Broadway NSW 2007 Australia
Phone: + 61 2 9514 2663 (Gunasmin)
Facsimile: + 61 2 9514 2868
http://TheMagicLab.org/Mary-Anne
eMail: Mary-Anne at TheMagicLab.org
Twitter: https://twitter.com/swizzlefish
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20120505/75352ab2/attachment.html 


More information about the PlanetKR mailing list