Postdoctoral Researcher in Logical Reasoning and Machine Learning; ARC

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

The focus of this position is to develop ILP/program synthesis methods for the Abstraction and Reasoning Corpus (ARC) challenge. ARC is a benchmark designed to measure an AI system's ability to efficiently acquire new skills outside its training data. The focus is specifically on ARC-AGI-3, where systems must learn rules by interacting with their environment.

The research will build on our IJCAI 2025 paper, where we showed that an off-the-shelf ILP system using raw pixels, only arithmetic, and a single CPU could perform reasonably well on ARC-1.

A start date before September 2026 is ideal but is flexible. The Final date to receive applications is February 5, 2026 (at 23:59 UTC +2).

• 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 learning is also highly desirable
• Excellent English skills

• CV
• A motivation letter (max 2 pages)
• Contact information of two referees to provide reference letters upon request

External applicants, please submit your application via the Apply Now button.

Internal applicants, who have a helsinki.fi username and a valid employment/grant/visitor contract, please submit your application via the Employee login button.

For more information on the position and the logic and learning (LOL) group, please contact Associate Professor Andrew Cropper (andrew.cropper).

With technical questions related to the recruitment system, please contact recruitment.