Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Oportunidade Investigação
Submeter candidatura Ata de reunião de Júri Consultar edital
Oportunidade Investigação

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