PhD and postdocs positions to work on logic + constraint solving + machine learning at the University of Helsinki:

[Andrew Cropper]

Hi,

I am recruiting 1 PhD student (4-year position) and 2 postdocs (3-year positions) to logic + constraint solving + machine learning at the University of Helsinki.

All the positions focus on using constraint solving for symbolic machine learning problems:

- PhD 1: https://jobs.helsinki.fi/job/Helsinki-Doctoral-Researcher-in-Logical-Reasoning-and-Machine-Learning/1349802357/

- Postdoc 1: https://jobs.helsinki.fi/job/Helsinki-Postdoctoral-Researcher-in-Logical-Reasoning-and-Machine-Learning/1349801657/

- Postdoc 2: https://jobs.helsinki.fi/job/Helsinki-Postdoctoral-Researcher-in-Logical-Reasoning-and-Machine-Learning-(ARC-Challenge)/1349801957/

The PhD and Postdoc 1 positions focus on fundamental research in logic-based machine learning.

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

Finally, there are postdoc positions funded via ELLIS Finland that are open in scope: https://www.ellisinstitute.fi/postdoc-recruit-2026

Please feel to email me for more information: andrew....@helsinki.fi