One PhD student (4-year position) and two postdocs (3-year positions) to work on logic and machine learning are offered at the University of Helsinki:

• PhD: Doctoral Researcher in Logical Reasoning and Machine Learning

• Postdoc 1: Postdoctoral Researcher in Logical Reasoning and Machine Learning

• Postdoc 2: Postdoctoral Researcher in Logical Reasoning and Machine Learning (ARC Challenge)

The PhD and Postdoc 1 positions are on fundamental research in logic-based machine learning, focusing on using SAT/ASP/MaxSAT solvers.

Postdoc 2 focuses on developing logic-based methods for the Abstraction and Reasoning Corpus (ARC), also using solvers.

There are also postdoc positions funded via ELLIS Finland.

Please feel to email Andrew Cropper for more information: andrew.cropper@helsinki.fi.