Open Position

AINUR - PTDC/CCI-COM/4485/2021 - BI|2023/404

Type of Position: Research Fellowship (Bolsa de Investigação)

Type of Contract: Research grant

Duration: 6 Months

Closed at: 2023-May-29


The objective of this research grant is to do research and development on how to efficiently leverage the recovery process of Persistent Memory applications as a consistency oracle. The work will be conducted in the context of Activities "Application Models and Recovery" and "Use Cases and Integration". The work plan therefore includes studying existing target systems and tools, designing mechanisms and algorithms to parallelize the recovery procedure, and developing preliminary techniques to be used by the bug detection framework being built into the project


Miguel Ângelo Marques de Matos



Phone Number: