Sistemas Distribuídos
Descrição da Oportunidade
Os sistemas distribuídos de grande escala constituem a base das modernas infraestruturas de computação em nuvem e das aplicações intensivas em dados. A procura de algoritmos capazes de se auto-adaptarem dinamicamente a variações nas condições de rede, carga de trabalho e outros fatores ambientais tem sido uma linha de investigação relevante. As abordagens de adaptação existentes — desde a parametrização dinâmica em tempo de execução até à comutação entre algoritmos — são intrinsecamente limitadas no espaço de alternativas que conseguem explorar, uma vez que a correção deve ser garantida separadamente para cada configuração. As atividades previstas incluem: - Conceção e formalização de um framework generalizado que decomponha os algoritmos distribuídos em planos estruturais independentemente programáveis, permitindo adaptação modular com preservação de correção. - Estudo das propriedades de correção-por-construção no âmbito do framework proposto, identificando invariantes e restrições estruturais que delimitem o espaço de adaptações válidas. - Desenvolvimento de mecanismos de seleção ótima de algoritmos com base em fatores em tempo de execução, como topologia de rede, carga da aplicação e características comportamentais do sistema. - Investigação de abordagens baseadas em agentes de IA e otimizadores para explorar o espaço de adaptação definido pelo Framework. - Avaliação da escalabilidade e generalidade do framework mediante o mapeamento de um conjunto diversificado de algoritmos distribuídos sobre o modelo proposto. - Escrita de uma tese de doutoramento no contexto do trabalho desenvolvido. - Escrita do relatório de atividades da bolsa.
Habilitações Académicas
- Frequência de Doutoramento em Informática ou área afim.
Requisitos Mínimos
- Conhecimentos em Sistemas Distribuídos;- Conhecimentos sólidos em algoritmos de consenso, replicação ou tolerância a faltas, demonstrados em projetos académicos ou profissionais.
Fatores de Preferência
- Experiência prévia com frameworks de sistemas distribuídos ou middleware (e.g., BFT-SMaRt, ZooKeeper, Paxos/Raft), demonstrada em projetos académicos ou profissionais; - Familiaridade com modelos de adaptação em algoritmos distribuídos, incluindo parametrização dinâmica ou comutação de algoritmos em tempo de execução.
Período de candidatura
Desde 21 May 2026 a 03 Jun 2026
Centro
Laboratório de Software Confiável