Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Research Opportunity
Apply now Final Selection Minute View Formal Call
Research Opportunity

Distributed Systems


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



High-Assurance Software

Scientific Advisor

José Orlando Pereira