"Postdoc Position in Inductive Logic Programming and Automated Reasoning"

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 equality. We encourage all qualified applicants from diverse backgrounds to apply for our positions
• 3-year full-time contract
• A starting salary of 3800-4150 euros/month depending on the appointees’ qualifications and experience
• Occupational health care and other social benefits
• Support for internationally recruited employees with their transition to work and live in Finland
• A chance to live in Helsinki and Finland renowned for their high-quality of life, services, and work-life balance

Application instructions

Applications shall be submitted through the University of Helsinki´s recruitment system and include the following documents:

• CV
• A motivation letter (max 2 pages)
• Contact information of two referees to provide reference letters upon request

External applicants, please submit your application via the Apply Now button.

Internal applicants, who have a helsinki.fi username and a valid employment/grant/visitor contract, please submit your application via the Employee login button.

Additional information

For more information on the position and the logic and learning (LOL) group, please contact Associate Professor Andrew Cropper (andrew.cropper@helsinki.fi).

With technical questions related to the recruitment system, please contact recruitment@helsinki.fi.