Research Opportunity
Distributed Systems
[Closed]
Work description
- Development of a model of distributed transactional systems in Alloy; - Applying the model to describe and compare existing systems; - Contribution to a scientific paper; - Complete the Master's Dissertation course unit; - Write the activity report.
Academic Qualifications
BSc Degree in Informatics Engineering or similar.
Minimum profile required
Average of BSc above 14.
Preference factors
Advanced knowledge of Formal Methods and Distributed Systems.
Application Period
Since 15 Feb 2023 to 28 Feb 2023
[Closed]
Centre
High-Assurance Software