The University of Helsinki invites applications for a Doctoral Researcher in Logical Reasoning and Machine Learning with the logic and learning (LOL) group. The fully funded 4-year position focuses on combining logical reasoning with machine learning methods such as inductive logic programming, using automated reasoning techniques (e.g., SAT/ASP/SMT/MaxSAT solvers) to learn logical rules from data. The role includes conducting original research under Associate Professor Andrew Cropper, joining a world-class international academic community supported by diverse research groups in computer science.