Research Opportunities
Computer Science
[Closed]
Work description
- Collaborate with the VeriFixer team on software development for software fault localization and repair; - 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 16;- Proficiency in English;- Proven experience in Dafny;- Proven experience in software development for the Dafny toolchain.
Preference factors
Preference is given to candidates with proven experience with program mutation techniques.
Application Period
Since 01 Jun 2025 to 16 Jun 2025
[Closed]
Centre
High-Assurance Software