Research Opportunity
Software Engineering
[Closed]
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
[Closed]
Cluster / Centre
Computer Science / High-Assurance Software