Grupa Logiki i Uczenia się na Uniwersytecie w Helsinkach rekrutuje postdoka do pracy nad rozwiązaniem wyzwania ARC-AGI-3 za pomocą metod Indukcyjnego Programowania Logicznego. Będziesz pracować pod nadzorem prof. Andrew Croppera. Aplikuj do 5 lutego 2026 r. -- link w następnym tweecie!