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

Evolução da ferramenta LazyFS (https://github.com/dsrhaslab/lazyfs) de forma a garantir uma maior facilidade e rapidez na reprodução de bugs de durabilidade de dados. Avaliação da ferramenta com bugs reais e validação do seu desempenho e precisão. Exploração de novos erros em outras aplicações centradas em dados. As tarefas descritas neste plano de trabalhos requerem a aplicação e o desenvolvimento de conceitos e técnicas das áreas de Ciências da Computação e Engenharia Informática, tipicamente lecionados em unidades curriculares que compõem o núcleo do plano de estudos de Licenciaturas Ciências da Computação e em Engenharia Informática.

Habilitações Académicas

Licenciatura em Ciências da Computação ou Engenharia Informática.

Requisitos Mínimos

- Conhecimentos sólidos em sistemas operativos;- Experiência com sistemas e técnicas de armazenamento, suportada por evidência técnica (repositórios de código, projetos, protótipos funcionais, artigos ou teses), incluindo URLs públicos para os mesmos, ou submetendo-os como anexo à candidatura;- Experiência com ferramentas de injeção de faltas em armazenamento, suportada por evidência técnica (repositórios de código, projetos, protótipos funcionais, artigos ou teses), incluindo URLs públicos para os mesmos, ou submetendo-os como anexo à candidatura;- Experiência prática na avaliação de bugs de durabilidade de dados.

Fatores de Preferência

- Experiência com a utilização da ferramenta LazyFS.

Período de candidatura

Desde 30 Jul 2026 a 12 Aug 2026

Centro

Laboratório de Software Confiável