2 computer-algorithm Postdoctoral research jobs at UNIVERSITY OF HELSINKI

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

UNIVERSITY OF HELSINKI | Finland | 8 days 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

Postdoctoral Researcher in Logical Reasoning and Machine Learning

UNIVERSITY OF HELSINKI | Finland | 8 days ago

 (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