Postdoctoral research position (logic and uncertainty)

Applications are invited for a postdoctoral research associate post in the School of Computer Science & Informatics at Cardiff University. This is a full-time, fixed-term post for 30 months, starting on 1 October or as soon as possible thereafter.
The main aim of this project is to study the links between Markov logic (a popular probabilistic logic for statistical relational learning) and possibilistic logic (a popular weighted logic for epistemic reasoning). This will involve the study and implementation of methods to approximate Markov logic theories into possibilistic logic, with the overall aim of learning interpretable commonsense rules from data on the web. You will work closely with Steven Schockaert (Cardiff University) and Jesse Davis (KU Leuven).
Closing date for applications: Tuesday 2 September 2014
Essential criteria
---
* Proven ability to undertake research in the field of artificial intelligence at an international level, as evidenced by research output.
* Excellent programming skills (java or C/C++).
* A strong background in first-order logic and probability theory.
* A scientific attitude and the ability to reason through problems.
* Proven ability to communicate specialist ideas clearly in English using written media.
* Excellent organisational skills with a proven ability to work independently and be self-managing, to prioritise your work and meet deadlines within the framework of an agreed programme.
* A demonstrable history of contributing to excellent publications in a relevant area.
* A willingness to travel.
* A PhD in Computer Science, Mathematics or closely related area (awarded or submitted by the start date).
Desirable criteria
---
* Knowledge of possibilistic logic.
* Knowledge of statistical relational learning.
* Knowledge of probabilistic reasoning and inference.
* Knowledge of non-monotonic reasoning.
* Experience with modelling problems using integer linear programming.
* Experience with implementing efficient solvers for automated reasoning.
More information
---
For more details about the project and instructions on how to apply, please go to www.cardiff.ac.uk/jobs and search for job 2419BR.