Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Oportunidade Investigação
Submeter candidatura Consultar edital
Oportunidade Investigação

Sistemas Distribuídos

[Brevemente]

Descrição da Oportunidade

O trabalho será dividido nas seguintes etapas: - Identificação de um caso de uso pertinente e levantamento de requisitos. Isto envolve identificar os CRDTs específicos necessários, classificar dados públicos/secretos e mapear as relações de confiança entre diferentes categorias de clientes e fornecedores de cloud. - Implementação do backend de computação segura e integração com a lógica de CRDT necessária, onde as atualizações e a resolução de conflitos são executadas por uma funcionalidade idealizada segura. - Suporte a quóruns dinâmicos de réplicas, para garantir que conjuntos de réplicas diferentes (embora sobrepostos) possam realizar atualizações respeitando as políticas de segurança dos clientes. - Avaliação de desempenho da biblioteca para o caso de uso concreto e exploração dos compromissos entre o custo computacional da segurança e a latência de sincronização. - Documentação dos detalhes de implementação e contributo para um relatório técnico detalhando as escolhas arquiteturais e a sinergia entre computação segura, CRDTs e reconfiguração dinâmica.

Habilitações Académicas

Licenciado em Engenharia Informática ou área afim.

Requisitos Mínimos

- Média de licenciatura superior a 14.

Fatores de Preferência

- Experiência em sistemas distribuídos e em fundamentos criptográficos.

Período de candidatura

Desde 12 Feb 2026 a 25 Feb 2026

[Brevemente]

Centro

Laboratório de Software Confiável