Sistemas Operativos
Descrição da Oportunidade
O plano de trabalho desta bolsa incluí as seguintes atividades principais: 1. Desenho e implementação do compilador de SQL para eBPF: definição da arquitetura que permite traduzir consultas SQL em programas eBPF, e implementação de um protótipo capaz de gerar, a partir de interrogações SQL, código eBPF executável no kernel. 2. Otimização do planeador de consultas (query planner): definição de um modelo de custo que estime o custo de execução de cada operação em espaço de kernel versus espaço de utilizador, e integração desse modelo no planeador de consultas, de forma a que este selecione o plano de execução mais eficiente para cada consulta. 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 da solução, 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;- Conhecimentos sobre sistemas de armazenamento;- Experiência comprovada com a tecnologia eBPF e a biblioteca libbpf, 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 comprovada com SQL, 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.
Fatores de Preferência
- Conhecimento sólido sobre estruturas do Linux kernel; - Experiência com API POSIX e chamadas ao sistema.
Período de candidatura
Desde 30 Jul 2026 a 12 Aug 2026
Centro
Laboratório de Software Confiável