-
and machine learning. We focus on inductive logic programming (ILP), a form of inductive program synthesis which learns logical rules from data. The focus of this position is to develop ILP/program
-
(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
-
from data. 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 master's degree in computer science or a related
-
) First Stage Researcher (R1) Country Finland Application Deadline 19 Nov 2025 - 00:00 (UTC) Type of Contract Other Job Status Full-time Is the job funded through the EU Research Framework Programme? Not
-
group operates both at the Department of Mathematics and Statistics (Faculty of Science) and at the Organismal and Evolutionary Biology Research Programme (Faculty of Environmental and Biological