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

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 the generation of repair hints; - adapting, or developing novel, techniques to generate repair hints for Alloy; - the implementation of the repair technique in the Alloy4Fun platform; - the evaluation of the results using the Alloy4Fun dataset of submissions; - the writing of the grant's activity report.

Academic Qualifications

- Degree in computer engineering.

Minimum profile required

- Average BSc grades of at least 15;- Experience on formal software development methods, particularly Dafny.

Application Period

Since 30 Nov 2022 to 15 Dec 2022


Cluster / Centre

Computer Science / High-Assurance Software

Scientific Advisor

Alcino Cunha