Engenharia de Software
[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 reparação de contratos formais; - adaptar, ou desenvolver novas técnicas, para a lógica das especificações em Dafny; - implementar a técnica de reparação na plataforma no plug-in Dafny para VS Code; - avaliar os resultados com um conjunto de exemplos relevantes; - 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
Laboratório de Software Confiável