El grupo de Lógica y Aprendizaje de la Universidad de Helsinki está reclutando a un postdoctorado para trabajar en descifrar el desafío ARC-AGI-3 mediante métodos de Programación Lógica Inductiva. Trabajarías bajo la supervisión del profesor Andrew Cropper. Solicita antes del 5 de febrero de 2026 -- enlace en el próximo tuit!