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. 

***

The Department of Computer Science is a leading unit in Finland in its area and responsible for the teaching and research in computer science at the University of Helsinki. The main research fields at the department are artificial intelligence, big data frameworks, bioinformatics, data analysis, data science, discrete and machine learning algorithms, distributed, intelligent, and interactive systems, networks, security, and software and database systems. The department has extensive international collaboration with companies and universities. Within teaching, the department’s professors and staff are in charge of the Bachelor’s, Master’s, and Doctoral Programmes in Computer Science, as well as the separate Master’s Programme in Data Science, in which other departments also participate.