[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