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 Consultar edital
Oportunidade Investigação

Sistemas operativos

Descrição da Oportunidade

O plano de trabalhos desta bolsa inclui as seguintes atividades principais: 1. Recolha e catalogação de erros de durabilidade de dados em aplicações e sistemas open source, incluindo a automatização dos processos de pesquisa e classificação desses erros. 2. Exploração de modelos de linguagem de grande escala (LLMs) para extrair automaticamente a informação relevante a partir dos erros recolhidos e gerar configurações de injeção de faltas para o sistema LazyFS. 3. Concepção de um agente DevOps baseado em LLMs, capaz de analisar automaticamente relatórios de repositórios de código (por exemplo, GitHub) e gerar configurações de injeção de faltas para testar problemas de durabilidade de dados de forma automatizada. As tarefas descritas neste plano de trabalhos requerem a aplicação e o desenvolvimento de conceitos e técnicas da área da Engenharia de Informática tipicamente lecionados em unidades curriculares que compõem o núcleo do plano de estudos do Mestrado Integrado em Engenharia Informática ou do Mestrado em Engenharia Informática.

Habilitações Académicas

- Licenciatura em Engenharia Informática.

Requisitos Mínimos

- Conhecimentos em sistemas operativos.- Conhecimentos em sistemas de armazenamento.- Experiência na pesquisa e catalogação de meta-informação em repositórios open-source.- Conhecimento e experiência comprovada na utilização de LLMs para compreender e automatizar a extração de informação a partir de relatórios e dados complexos, suportada com evidência técnica (repositórios de código, projetos, protótipos funcionais, artigos ou teses).

Fatores de Preferência

- Conhecimentos sobre ferramentas de injeção de faltas.

Período de candidatura

Desde 19 Feb 2026 a 04 Mar 2026

Centro

Laboratório de Software Confiável