Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Research Opportunities
Apply now View Formal Call
Research Opportunities

Computer Science

[Open soon]

Work description

The work plan for this scholarship includes the following main activities: 1. Exploration of the applicability of eBPF and its ecosystem: review and exploration of the use of eBPF in different domains, of the various libraries available for its development, and of techniques that enable the application of eBPF to areas that currently lack direct support (e.g., GPUs, HPC systems, etc.); 2. Development of new eBPF functionalities: exploration and development of new extensions that expand the capabilities of eBPF technology, including, for instance, more efficient log writing mechanisms (both in terms of performance and storage space); 3. Experimental evaluation: validation of the developed functionalities through experimental evaluation and comparison with existing solutions.

Academic Qualifications

- MSc Degree in Informatics Engineering.

Minimum profile required

- Solid Knowledge of operating systems, including kernel structures;- Proficiency in the C programming language;- Practical experience with the eBPF technology;- Practical experience with different eBPF libraries and understanding of their practical differences (e.g., feature support, ring buffers, polling strategies).

Preference factors

- Experience with different programming languages, including Python, Go, and Rust; - Experience with observability tools.

Application Period

Since 20 Nov 2025 to 04 Dec 2025

[Open soon]

Centre

High-Assurance Software

Scientific Advisor

Tânia Esteves