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