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

Work description

Systematic study and classification of eBPF libraries (e.g., BCC, bpftrace, libbpf, Aya), based on functionalities (e.g., portability, helper functions, dependencies), use cases (e.g., observability, enforcement), and areas of applicability (e.g., networking, storage, security). Experimental evaluation of a representative set of these libraries under real workloads, measuring the fidelity of the collected information, as well as their impact on performance and resource usage (CPU, memory, energy). The tasks described in this working plan demand the application and development of concepts and techniques in the area of Software Engineering, which are usually introduced in curricular units included in the curricula of the Integrated MSc in Informatics Engineering or the MSc in Informatics Engineering studies.

Academic Qualifications

BSc Degree in Computer Science or Informatics Engineering

Minimum profile required

- Solid Knowledge of operating systems;- Knowledge of the C programming language;- Practical experience in using the eBPF technology;- Practical experience in using different eBPF libraries.

Preference factors

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

Application Period

Since 11 Sep 2025 to 24 Sep 2025

Centre

High-Assurance Software

Scientific Advisor

Tânia Esteves