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

Reparação Automática de Falhas em Sistemas de Software

[Fechado]

Descrição da Oportunidade

- Elaborar um survey sobre técnicas de localização de falhas e reparação automática de programas; - Combinar algoritmos de localização de falhas no código fonte de um programa com os LLMs; - Treinar LLMs de modo a identificarem más práticas de consumo energéticas em software reportadas na literatura; - Desenvolver um protótipo de software para reparar automaticamente falhas energéticas; - Escrever o relatório de atividades da bolsa.

Habilitações Académicas

Mestre em Engenharia Informática.

Requisitos Mínimos

Média de licenciatura e mestrado superior a 15;

Fatores de Preferência

- Experiência em engenharia de linguagens; - Bons conhecimentos de programação funcional.

Período de candidatura

Desde 31 Aug 2023 a 13 Sep 2023

[Fechado]

Centro

Laboratório de Software Confiável