Concurso documental internacional para recrutamento de um professor auxiliar, na área disciplinar de Lógica e Computação, do Departamento de Matemática do Instituto Superior Técnico