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.
Minimum profile required
Preference is given to candidates with proven experience with program mutation techniques.
Preference factors
- 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 20 Nov 2025 to 04 Dec 2025
Centre
High-Assurance Software