Ciências da Computação
[Brevemente]
Descrição da Oportunidade
Levantamento das vulnerabilidades de segurança associadas a GitHub Actions e de ferramentas do estado da arte para a análise dinâmica das mesmas, identificando potenciais pontos de otimização. Desenho de novas soluções capazes de: - monitorizar os ambientes de execução das GitHub Actions, permitindo identificar ou bloquear a execução de ações suspeitas (como execução de código não autorizado ou exfiltração de dados); - assegurar que a execução e as configurações das diferentes Actions permanecem inalteradas ao longo do fluxo da pipeline (por exemplo, detetando alterações nas versões das Actions). Avaliação experimental dos programas desenvolvidos em ambientes representativos e com cargas de trabalho realistas. As tarefas descritas neste plano de trabalhos requerem a aplicação e o desenvolvimento de conceitos e técnicas das áreas de Ciências da Computação e Engenharia Informática, tipicamente lecionados em unidades curriculares que compõem o núcleo do plano de estudos do Mestrado Integrado em Engenharia Informática ou do Mestrado em Engenharia Informática.
Habilitações Académicas
Licenciatura em Ciências da Computação ou Engenharia Informática.
Requisitos Mínimos
- Conhecimentos sólidos em sistemas operativos;- Experiência prática com Git e GitHub Actions;- Experiência prática com ferramentas de monitorização;- Experiência prática com as tecnologias Ansible, Docker e Kubernetes;- Experiência prática com serviços de computação em nuvem (e.g., GCP) e computação avançada (HPC).
Fatores de Preferência
- Experiência com a linguagem de programação C; - Experiência sólida com o sistema operativo Linux e scripting.
Período de candidatura
Desde 06 Nov 2025 a 19 Nov 2025
[Brevemente]
Centro
Laboratório de Software Confiável