Doctoral Researcher in Logical Reasoning and Machine Learning

We are recruiting a PhD student interested in combining logical reasoning and machine learning. The research will focus on inductive logic programming, which learns logical rules from data. We primarily use automated reasoning techniques, such as SAT/ASP/SMT/MaxSAT solvers. As a PhD student, you will develop new algorithms, run experiments, write papers, and present at conferences. You will meet regularly with Andrew Cropper and the rest of the logic and learning group. Find out more about working with us.

A start date before September 2026 is ideal but is flexible. The application deadline is June 15, 2026 (at 23:59 UTC +3).

Requirements

• A master's degree in computer science or a related topic
• Prior experience in logic is desirable
• Excellent English skills

Additional information

For more information on the position and the ...