2 machine-learning-"https:"-"https:"-"https:"-"https:"-"Ulster-University" Postdoctoral positions at UNIVERSITY OF HELSINKI

Postdoctoral Researcher in Logical Reasoning and Machine Learning

UNIVERSITY OF HELSINKI | Finland | about 6 hours ago

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

Postdoctoral Researcher in Logical Reasoning and Machine Learning (ARC Challenge)

UNIVERSITY OF HELSINKI | Finland | about 6 hours ago

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