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 the repair of formal contracts; - adapting, or developing novel, techniques to repair Dafny's logic; - the implementation of the repair technique in the Dafny plug-in for VS Code; - the evaluation of the results using the set of relevant examples; - 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
[Closed]
Centre
High-Assurance Software