Postdoctoral Researcher in Logical Reasoning and Machine Learning

The logic and learning (LOL) group is recruiting a postdoc funded by ELLIS institute Finland. You will work with Associate Professor Andrew Cropper . We work on combining logical reasoning and machine learning. We focus on inductive logic programming (ILP), which learns logical rules from data. We primarily use automated reasoning techniques, such as SAT/ASP/SMT/MaxSAT solvers, to learn rules from data.
The focus of this position is to apply automated reasoning techniques to scale ILP.
A start date before September 2026 is ideal but is flexible. The application deadline is February 5, 2026 (at 23:59 UTC +2).
Requirements
A PhD in computer science or a related topic
Prior experience in logical reasoning is essential
Demonstrable research experience in SAT/ASP/SMT/MaxSAT
Excellent English skills
We offer
The opportunity to do fundamental research and supervise students
A world class academic community that promotes diversity, international engagement and equ...