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

Operating systems

Work description

Study of different eBPF tools (e.g., BCC, bpftrace, libbpf, ...) and their practical application in real use cases. Design of eBPF programs based on the tools studied in order to evaluate their different characteristics (e.g., type/amount of information captured, performance impact, and resource use). Quantitative experimental study using the previous programs. 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.- Knowledge of different eBPF libraries.

Preference factors

- Experience with tracing tools (e.g., strace).

Application Period

Since 17 Apr 2025 to 05 May 2025

Centre

High-Assurance Software

Scientific Advisor

Tânia Conceição Araújo