Concurso documental internacional para recrutamento de um professor catedrático nas áreas disciplinares de Inteligência Artificial do Departamento de Engenharia Informática e de Lógica e Computação do Departamento de Matemática do Instituto Superior Técnico