-
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
-
) Application Deadline 28 Feb 2026 - 00:00 (UTC) Country Finland Type of Contract Other Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job
-
(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
-
. The project provides generous funding for conference travel and networking. The project also offers access to state-of-the-art computing resources provided free-of-charge by the CSC – the IT Center
-
communication in a multidisciplinary environment. The project provides generous funding for conference travel and networking. The project also offers access to state-of-the-art computing resources provided free
-
Deadline 13 Feb 2026 - 00:00 (UTC) Country Finland Type of Contract Other Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related
-
Deadline 2 Feb 2026 - 00:00 (UTC) Country Finland Type of Contract Other Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to
-
) Established Researcher (R3) Country Finland Application Deadline 22 Jan 2026 - 00:00 (UTC) Type of Contract Other Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded
-
quality, biogeochemical cycles and ecosystem processes. INAR has INAR Finland Network partners in Finnish Meteorological Institute, University of Eastern Finland and Tampere University of Technology
-
) must be met by the beginning of the employment. Other requirements are a good computational background (basic knowledge of R, Python or Bash programming languages) as well as experience in analysing