Research Opportunities
Distributed Systems
[Closed]
Work description
- Development of a transactional coherence model in Alloy; - Applying the model to compare and test 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;- Alloy knowledge.
Preference factors
Advanced knowledge of Formal Methods and Distributed Systems.
Application Period
Since 30 Nov 2023 to 15 Dec 2023
[Closed]
Centre
High-Assurance Software