3 Jobs found

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 and machine learning. We focus on inductive logic programming (ILP), a form of inductive program synthesis which learns logical rules from data. 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 s...

The logic and learning (LOL) group is recruiting a PhD student funded by ELLIS institute Finland. You will work with Associate Professor Andrew Cropper. We work on combining logical reasoning and machine learning. We focus on inductive logic programming (ILP), which learns logical rules from data. We primarily use automated reasoning techniques, such as SAT/ASP/SMT/MaxSAT solvers, to learn rules from data. A start date before September 2026 is ideal but is flexible. The application deadline is February 5, 2026 (at 23:59 UTC +2)....

The logic and learning (LOL) group is recruiting a postdoc funded by ELLIS institute Finland. You will work with Associate Professor Andrew Cropper. We work on combining logical reasoning and machine learning. We focus on inductive logic programming (ILP), which learns logical rules from data. We primarily use automated reasoning techniques, such as SAT/ASP/SMT/MaxSAT solvers, to learn rules from data. The focus of this position is to apply automated reasoning techniques to scale ILP. A start date before September 2026 is ideal but is flexible. The application deadline is February 5, 2026 (at 23:59 UTC +2)....