Logic List Mailing Archive

Postdoctoral position in logic and uncertainty, Cardiff (Wales), Deadline: 2 Sep 2014

Job description

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.