Concurso internacional para recrutamento de professor auxiliar para a área disciplinar de Informática (Teoria da Computação e Métodos Formais)