Computer Science
Work description
- Design of an efficient, strictly durable write-ahead logging system for key-value stores; - Implementation of a prototype of the previous system and design of a new write protocol that ensures eventual ordering; - Experimental evaluation of the developed prototype using synthetic and realistic workloads. 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
- Solid knowledge on operating systems and distributed systems;- Solid knowledge on storage systems;- Experience with key-value store systems, including LevelDB and RocksDB.
Preference factors
- Experience in designing and implementing key-value stores; - Solid knowledge on order and durability guarantees for efficient logging systems.
Application Period
Since 04 Sep 2025 to 17 Sep 2025
Centre
High-Assurance Software