Sistemas Distribuídos
[Fechado]
Descrição da Oportunidade
No actual contexto de emergência de sistemas distribuídos particionáveis e sujeitos a perturbações na comunicação, torna-se necessário ir além do estado da arte no que respeita ao registo e propagação de operações que modificam o estado do sistema. Em particular, pretende-se dar continuidade ao desenvolvimento de um sistema de propagação e eventual remoção de operações, para suporte a soluções de coerência progressiva.
Habilitações Académicas
Mestrado na área de engenharia informática ou similar
Perfil Requerido
Percurso académico de especialização em sistemas distribuídos. Conhecimento avançado das linguagens C/C++ e Erlang. Experiência na publicação de artigos científicos.
Fator de preferência
Bons conhecimento em mecanismos de coerência eventual em sistemas distribuídos e em técnicas de replicação e protocolos de comunicação em grupo. Forte domínio de implementação de sistemas concorrentes.
Período de candidatura
Desde 21 Nov 2018 a 04 Dec 2018
[Fechado]
Cluster / Centro
Informática / Laboratório de Software Confiável