Oportunidade Investigação
Métodos Formais
[Fechado]
Descrição da Oportunidade
- Elaborar um survey sobre as técnicas de reparação de programas com contratos; - Estudar a arquitectura e as tecnologias envolvidas na distribuição oficial do Dafny; - Desenhar uma solução para a reparação automática de programas Dafny; - Escrever o relatório de atividades da bolsa.
Habilitações Académicas
Licenciado e mestre em engenharia informática ou área afim.
Requisitos Mínimos
- Média de licenciatura e mestrado superior a 15;- Experiência em métodos formais de desenvolvimento de software.
Fatores de Preferência
Experiência em programação por contrato, em particular Dafny.
Período de candidatura
Desde 31 Aug 2023 a 13 Sep 2023
[Fechado]
Centro
Laboratório de Software Confiável