PhD in Inductive Logic Programming

The logic and learning (LOL) group at the University of Helsinki is recruiting a PhD student funded by ELLIS institute Finland. The position focuses on combining logical reasoning and machine learning, particularly inductive logic programming (ILP), and primarily uses automated reasoning techniques (SAT/ASP/SMT/MaxSAT solvers) to learn logical rules from data. Location: Helsinki, Finland. Start date: A start date before September 2026 is ideal but flexible. Contract: 4-year full-time contract.