O objectivo do projecto onde se integrará o bolseiro é concluir o desenvolvimento de um sistema de verificação de protocolos genéricos em sistemas distribuídos, baseado na correspondência entre a logica linear e os tipos de sessão. O desafio que interessa atacar de forma focalizada é a introdução de tipos recursivos em conjunto com a passagem de processos (código móvel).

O período de candidaturas encontra-se de 15 a 30 de Setembro 2014 (Consultar edital).