Oportunidade Investigação
Sistemas Distribuídos
[Fechado]
Descrição da Oportunidade
- Desenvolvimento de um modelo de coerência transacional em Alloy; - Aplicação do modelo para comparar e testar sistemas existentes; - Contribuição para um artigo científico; - Completar a unidade curricular de Dissertação de Mestrado; - Escrever o relatório de atividades da bolsa.
Habilitações Académicas
Licenciatura em Eng. Informática ou similar.
Requisitos Mínimos
- Média de licenciatura superior a 14;- Conhecimentos de Alloy.
Fatores de Preferência
Conhecimentos avançados de Métodos Formais e de Sistemas Distrbuídos.
Período de candidatura
Desde 30 Nov 2023 a 15 Dec 2023
[Fechado]
Centro
Laboratório de Software Confiável