Doctoral Researcher in Logical Reasoning: The Logic and Learning (LOL) group is inviting applications for a PhD researcher position funded by the ELLIS institute in Finland. This position focuses on combining logical reasoning with machine learning, particularly through inductive logic programming (ILP).
Doctoral Researcher in Logical Reasoning and Machine Learning
Designation:
Doctoral Researcher
| Field | Details |
|---|---|
| Research Area | Logical Reasoning and Machine Learning |
| Location | University of Helsinki, Finland |
| Eligibility/Qualification | – Master’s degree in Computer Science or a related field – Prior experience in logic desirable – Excellent English skills |
Description:
As a doctoral researcher, you will engage in fundamental research combining logical reasoning with machine learning techniques. Your work will primarily involve inductive logic programming (ILP), focusing on learning logical rules from data using advanced automated reasoning techniques, such as SAT, ASP, SMT, and MaxSAT solvers. The selected candidate will be enrolled in the Doctoral Programme in Science, with the expectation to obtain study rights within six months of employment.
How to Apply:
Applications should be submitted through the University of Helsinki’s recruitment system and must include the following documents:
- Updated CV
- Transcripts from previous degrees
- A motivation letter (maximum 2 pages)
- Contact information for two referees for reference letters
External applicants should use the “Apply Now” button, while internal applicants should log in via the Employee portal.
Last Date to Apply:
February 5, 2026 (23:59 UTC +2)
For additional information about the position and the Logic and Learning (LOL) group, please contact Associate Professor Andrew Cropper at andrew.cropper@helsinki.fi.
