Sistemas Distribuídos
[Fechado]
Descrição da Oportunidade
- Desenvolvimento de um modelo de sistemas transacionais distribuídos em Alloy; - Aplicação do modelo para descrever e comparar 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;
Fatores de Preferência
Conhecimentos avançados de Métodos Formais e de Sistemas Distrbuídos
Período de candidatura
Desde 15 Feb 2023 a 28 Feb 2023
[Fechado]
Centro
Laboratório de Software Confiável