Research Opportunities
Automated Software Repair
[Closed]
Work description
- To develop a survey about techniques of fault localization and automated program repair; - To combine algorithms of source code fault localization with LLMs; - To fine tune LLMs in order to identify bad programming practices in terms of energy consumption reported in literature; - To develop a software prototype to automatically repair energyware faults; - To write a report describing the grant activities.
Academic Qualifications
MSc in computer engineering.
Minimum profile required
Bachelor and MSc degree concluded with a final mark greater than 15 out of 20.
Preference factors
- Experience in language engineering; - Good knowledge of functional programming.
Application Period
Since 31 Aug 2023 to 13 Sep 2023
[Closed]
Centre
High-Assurance Software