Operating Systems
Work description
Evolution of the LazyFS tool (https://github.com/dsrhaslab/lazyfs) in order to ensure greater ease and speed in reproducing data durability bugs. Evaluation of the tool with real bugs and validation of its performance and accuracy. Exploration of new errors in other data-centric applications. The tasks described in this work plan demand the application and development of concepts and techniques in the areas of Computer Science and Informatics Engineering, which are usually introduced in curricular units included in the curricula of BSc courses in Computer Science and Informatics Engineering.
Academic Qualifications
BSc Degree in Computer Science or Informatics Engineering.
Minimum profile required
- Solid knowledge of operating systems;- Hands-on experience with storage systems and techniques, supported by technical evidence (such as code repositories, projects, functional prototypes, articles, or theses), including public URLs to these materials or by submitting them as attachments to the application;- Hands-on experience with the evaluation of data durability bugs, supported by technical evidence (such as code repositories, projects, functional prototypes, articles, or theses), including public URLs to these materials or by submitting them as attachments to the application;- Hands-on experience with storage fault-injection tools.
Preference factors
- Experience with the LazyFS tool.
Application Period
Since 30 Jul 2026 to 12 Aug 2026
Centre
High-Assurance Software