Oportunidade Investigação
Computer Science
[Fechado]
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; - 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 16;- Domínio da língua Inglesa;- Experiência comprovada com Dafny;- Experiência comprovada no desenvolvimento de software para o ecossistema de ferramentas 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 01 Jun 2025 a 16 Jun 2025
[Fechado]
Centro
Laboratório de Software Confiável