Research Opportunities
Computer Science
Work description
- Collaborate with the VeriFixer team on software development for software fault localization and repair, with a greater focus on fault localization; - Collaborate with the VeriFixer team on the writing of scientific papers; - Produce a technical report documenting all the tasks performed.
Academic Qualifications
- BSc degree in Computer Science and Engineering or similar area.
Minimum profile required
- Overall final grade of BSc greater or equal to 18;- Current MSc grade greater than 17;- Proficiency in English;- Proven experience in Dafny.
Application Period
Since 11 Dec 2025 to 24 Dec 2025
Centre
High-Assurance Software