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 ou área afim.
Requisitos Mínimos
- Média de licenciatura igual ou superior a 18;- Média atual de mestrado superior a 17;- Domínio da língua Inglesa;- Experiência comprovada com Dafny.
Período de candidatura
Desde 11 Dec 2025 a 24 Dec 2025
Centro
Laboratório de Software Confiável