Concurso documental internacional para recrutamento na modalidade de contrato de trabalho em funções públicas, de uma vaga de Professor Catedrático, na área disciplinar de Lógica e Computação, do Departamento de Matemática do Instituto Superior Técnico