Faculdade

Notícias

Bolsa de investigação (BI) para mestre, no âmbito do protocolo FCT/Outsystems

04-03-2015

O objectivo do projecto onde se integrará o bolseiro é concluir o desenvolvimento de um sistema de verificação de propriedades de segurança de software. O desafio que interessa atacar de forma focalizada é a finalização da implementação de um protótipo experimental que suporte a divulgação da metodologia desenvolvida com base num sistema de tipos dependentes de controle de fluxo de informação.

O período de candidaturas encontra-se aberto de 2 a 9 de Março de 2015. (Consultar edital)