Oportunidade Investigação
Computer Science
Descrição da Oportunidade
- Colaborar com a equipa de investigação do VeriFixer no desenvolvimento de software de localização e reparação de falhas, mas com um maior foco em localização de falhas; - Colaborar com a equipa de investigação do VeriFixer na escrita de artigos científicos; - Escrever o relatório de atividades da bolsa.
Habilitações Académicas
Licenciado em engenharia informática.
Requisitos Mínimos
- Média de licenciatura igual ou superior a 18;- Média actual de mestrado superior a 17;- Domínio da língua Inglesa;- Experiência comprovada com Dafny.
Fatores de Preferência
Preferência é dada a candidatos com experiência comprovada em técnicas de mutação de programas.
Período de candidatura
Desde 20 Nov 2025 a 04 Dec 2025
Centro
Laboratório de Software Confiável