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

Sistemas Operativos

[Brevemente]

Descrição da Oportunidade

O plano de trabalhos desta bolsa inclui as seguintes atividades principais: - Investigação e desenvolvimento de mecanismos de propagação de contexto: desenho e implementação de extensões eBPF que permitam recolher, propagar e correlacionar informação contextual ao longo do ciclo de vida de um pedido, desde o nível da aplicação até aos subsistemas do kernel. - Aplicação ao domínio da proteção contra ransomware: estudo da aplicabilidade dos mecanismos desenvolvidos no contexto de soluções de monitorização e deteção de comportamentos maliciosos, incluindo a identificação de padrões de acesso suspeitos e a sua associação ao contexto aplicacional. - Avaliação experimental: validação das funcionalidades desenvolvidas através de testes experimentais, avaliando o desempenho, a precisão e a taxa de falsos positivos em comparação com abordagens existentes.

Habilitações Académicas

Mestrado em Engenharia Informática

Requisitos Mínimos

- Conhecimentos sólidos em sistemas operativos, incluindo estruturas de kernel.- Experiência comprovada com ferramentas de observabilidade de pedidos de Entrada/Saída 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 a tecnologia eBPF, 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

- Experiência com diferentes linguagens de programação, incluindo C, Python, Go e Rust. - Experiência comprovada com as bibliotecas BCC, bpftrace, libbpf, ebpf-go e Aya.

Período de candidatura

Desde 14 May 2026 a 27 May 2026

[Brevemente]

Centro

Laboratório de Software Confiável

Orientador

Tânia Esteves