Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Research Opportunity
Apply now Final Selection Minute View Formal Call
Research Opportunity

sistema de propagação e eventual remoção de operações (PT)

[Closed]

Work description

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.

Academic Qualifications

Mestrado na área de engenharia informática ou similar

Minimum profile required

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.

Preference factors

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.

Application Period

Since 20 Nov 2019 to 03 Dec 2019

[Closed]

Cluster / Centre

Computer Science / High-Assurance Software

Scientific Advisor

Carlos Baquero