Computação Segura
Descrição da Oportunidade
O trabalho será dividido nas seguintes etapas: - Análise aprofundada da literatura de AMPC. O resultado será um relatório de Sistematização de Conhecimento (SoK) comparando protocolos com base nas suas primitivas. - Aprendizagem da linguagem de programação coreográfica adotada no projeto e mapeamento dos blocos fundamentais de AMPC para primitivas coreográficas. - Implementação de um grupo selecionado de primitivas e protocolos. Priorizar a clareza das especificações (apoiadas por uma descrição coreográfica global) em detrimento de otimizações de baixo nível. - Avaliação dos protótipos em ambientes de rede simulados para demonstrar a correção e a robustez do sistema. - Documentação dos detalhes de implementação e contribuição para um relatório técnico detalhando a sinergia entre coreografias e AMPC.
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 fundamentos criptográficos e em linguagens de programação funcional.
Período de candidatura
Desde 12 Feb 2026 a 25 Feb 2026
Centro
Laboratório de Software Confiável