El grupo de Lógica y Aprendizaje de la Universidad de Helsinki está reclutando un postdoctorado para trabajar en resolver el desafío ARC-AGI-3 mediante métodos de Programación Lógica Inductiva. Trabajarías bajo la supervisión del Prof. Andrew Cropper. ¡Aplica antes del 5 de febrero de 2026 -- enlace en el siguiente tweet!