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 16 Feb 2024 a 29 Feb 2024
[Fechado]
Centro
Laboratório de Software Confiável