2 postdoc-computer-science-logic Postdoctoral positions in Finland

Postdoctoral Researcher in Logical Reasoning and Machine Learning

UNIVERSITY OF HELSINKI | Finland | about 1 month 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

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

UNIVERSITY OF HELSINKI | Finland | about 1 month ago

The logic and learning (LOL) group is recruiting a postdoc partly funded by the ARC Prize Foundation . You will work with Associate Professor Andrew Cropper . We work on combining logical reasoning