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

Ciências da Computação

Descrição da Oportunidade

- Desenho de um sistema de logging para sistemas de armazenamento chave-valor eficiente com garantias de durabilidade forte; - Implementação de um protótipo do sistemas anterior, e desenho de esquemas de escritas com ordem eventual; - Avaliação experimental do protótipo desenvolvido recorrendo a cargas de trabalho sintéticas e realistas. 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 sólidos em sistemas operativos e sistemas distribuídos;- Conhecimentos sólidos em sistemas de armazenamento;- Experiência com sistemas de armazenamento chave-valor, incluindo LevelDB e RocksDB.

Fatores de Preferência

- Experiência no desenvolvimento de sistemas de armazenamento chave-valor; - Conhecimentos sobre propriedades de ordem e durabilidade para desenhar sistemas de logging eficientes.

Período de candidatura

Desde 04 Sep 2025 a 17 Sep 2025

Centro

Laboratório de Software Confiável