PhD Student

We are recruiting a PhD student interested in combining logical reasoning and machine learning. The research will focus on inductive logic programming, which learns logical rules from data. We primarily use automated reasoning techniques, such as SAT/ASP/SMT/MaxSAT solvers. As a PhD student, you will develop new algorithms, run experiments, write papers, and present at conferences. You will meet regularly with Andrew Cropper and the rest of the logic and learning group.

A start date before September 2026 is ideal but is flexible. The application deadline is June 15, 2026 (at 23:59 UTC +3).

Requirements

• A master's degree in computer science or a related topic
• Prior experience in logic is desirable
• Excellent English skills

We offer

• The opportunity to do fundamental research
• 4-year full-time contract
• A starting salary of ca. 2700 euros/month. The salary will develop in accordance with the progress of studies and be 3600-3800 euros/month by the end of the contract.
• 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