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

Sistemas operativos

[Fechado]

Descrição da Oportunidade

Estudo da utilização da tecnologia eBPF, com foco na abordagem CO-RE (Compile Once – Run Everywhere), para a instrumentação de estruturas do Linux kernel de modo a obter informação de acesso a ficheiros e canais de comunicação. Desenho de uma plataforma automática e compreensiva para a análise de padrões de acesso a disco e rede. A análise deve focar-se na correção e segurança de 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

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

Requisitos Mínimos

- Conhecimentos em sistemas operativos.- Conhecimentos sobre a linguagem de programação C.- Experiência com API POSIX e chamadas ao sistema.- Experiência com a tecnologia eBPF.

Fatores de Preferência

- Experiência com ferramentas de rastreio de pedidos de E/S (p.ex., Strace).

Período de candidatura

Desde 22 Aug 2024 a 04 Sep 2024

[Fechado]

Centro

Laboratório de Software Confiável