Computer Science
[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 the generation of repair hints; - adapting, or developing novel, techniques to generate repair hints for Alloy's logic; - 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 Informatics, Computer Science or similar
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
[Closed]
Centre
Human-Centered Computing and Information Science