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 diver...