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

Cataloging data durability errors in open-source applications and systems. Automation of the process of searching for and classifying these errors. Extension of the LazyFS tool, which allows the realistic injection of faults into local storage systems, to support new types of faults. 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 Informatics Engineering.

Minimum profile required

- Knowledge of operating systems.- Knowledge of storage systems.- Experience in searching and cataloging metadata about open-source code repositories.

Preference factors

- Knowledge on fault-injection frameworks.

Application Period

Since 03 Apr 2025 to 16 Apr 2025

Centre

High-Assurance Software

Scientific Advisor

João Tiago Paulo