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