Research Opportunity
Formal Methods
[Closed]
Work description
- Survey the existing techniques for automatic repair in contract programming; - Study the architecture and the technology behind the official Dafny distribution; - Design a solution for the automatic repair of Dafny programs; - Write the grant's activity report.
Academic Qualifications
BSc and MSc degrees in Informatics Engineering or similar.
Minimum profile required
- Average BSc and MSc grades of at least 15;- Experience in formal software development methods.
Preference factors
Experience in contract programming, namely Dafny.
Application Period
Since 31 Aug 2023 to 13 Sep 2023
[Closed]
Centre
High-Assurance Software