2 phd-software Postdoctoral positions at UNIVERSITY OF HELSINKI

Postdoctoral Researcher in Logical Reasoning and Machine Learning

UNIVERSITY OF HELSINKI | Finland | about 2 months 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 2 months ago

 (at 23:59 UTC +2). Requirements A PhD in computer science or a related topic Prior experience in SAT/ASP/SMT/MaxSAT is essential Any experience in model counting and a broader understanding of machine