PhD Researcher: Logic & ML for Inductive ILP

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.

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

We offer

• The opportunity to do fundamental research
• 4‑year full‑time contract
• A starting salary of ca. 2700 euros/month. The salary will develop in acc...