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 View Formal Call
Research Opportunity

Software Engineering


Work description

The work plan fits a dissertation topic of a masters degree on informatics in the area of formal methods for software engineering. Namely, the work will involve: - the study of existing techniques for specification repair, particularly for Alloy; - adapting, or developing novel, techniques to repair Alloy6’s first-order temporal logic; - the implementation of the repair technique in the Alloy4Fun platform; - the evaluation of the results using the Alloy4Fun dataset; - the writing of the grant’s activity report.

Academic Qualifications

degree in computer engineering

Minimum profile required

- average BSc grandes of at least 15;- experience on formal software development methods, particularly Alloy.

Application Period

Since 29 Dec 2021 to 12 Jan 2022


Cluster / Centre

Computer Science / High-Assurance Software

Scientific Advisor

Nuno Moreira Macedo