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 here.
A start date before September 2026 is ideal but is flexible. The application deadline is June 15, 2026 (at 23:59 UTC +3).