Ciências da Computação
[Fechado]
Descrição da Oportunidade
O plano de trabalhos enquadra-se num tema de dissertação do mestrado em informática na área de métodos formais para engenharia de software. Neste contexto, o trabalho envolverá: - estudar as técnicas existentes para a geração de sugestões de reparação; - adaptar, ou desenvolver novas, técnicas de geração de sugestões, para a lógica do Alloy; - implementar a técnica de reparação na plataforma Alloy4Fun; - avaliar os resultados com o dataset de submissões do Alloy4Fun; - escrever o relatório de atividades da bolsa.
Habilitações Académicas
Licenciado em engenharia informática
Requisitos Mínimos
- média de licenciatura superior a 15;- experiência em métodos formais de desenvolvimento de software, em particular Dafny.
Período de candidatura
Desde 30 Nov 2022 a 15 Dec 2022
[Fechado]
Centro
Computação Centrada no Humano e Ciência da Informação