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 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

Laboratório de Software Confiável

Orientador

Alcino Cunha