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

Ciências da Computação

[Fechado]

Descrição da Oportunidade

O plano de trabalho desta bolsa incluí as seguintes atividades principais: 1. Estudo e desenho da arquitetura solução: revisão do estado da arte e definição da arquitetura que permitirá traduzir consultas SQL em programas eBPF. 2. Desenvolvimento do compilador SQL para eBPF: implementação do protótipo capaz de gerar programas eBPF a partir de interrogações SQL. 3. Integração e avaliação experimental: validação do compilador através de casos de uso representativos, analisando o desempenho e a eficácia, e comparando os resultados com soluções existentes no estado da arte. 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 API POSIX e chamadas ao sistema;- Experiência prática com a tecnologia eBPF e a biblioteca libbpf;- Experiência prática com SQL.

Fatores de Preferência

- Conhecimento sólido sobre estruturas do Linux kernel.

Período de candidatura

Desde 13 Nov 2025 a 27 Nov 2025

[Fechado]

Centro

Laboratório de Software Confiável

Orientador

Tânia Esteves