-
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
-
, human-in-the-loop learning, distribution shift, probabilistic modelling, computational rationality, sequential experimental design, collaborative AI, decision support We are looking for a new postdoc in
-
8 Nov 2025 Job Information Organisation/Company Tampere University Research Field Computer science » Programming Computer science » Other Engineering » Control engineering Engineering » Industrial