Research Opportunities

Computer Science

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 29 May 2025 to 12 Jun 2025

Centre

High-Assurance Software

Scientific Advisor

Alexandra Sofia Mendes

What we offer

• Multicultural and collaborative environment
• A multicultural, international and collaborative environment that makes it easier to exchange ideas, work in networks and create synergies.
• International projects
• The possibility of working in international projects with some of the most important companies in the field.
• Mentoring
• Mentoring with the best researchers in the fields of electrical and industrial engineering, bioengineering, information technology and physics.
• Self Improvement
• The possibility of participating in international conferences, workshops, seminars and vocational training.
• Other Benefits and Perks
• Flexible working time, health insurance, discounts in hotels, transportation, etc.
• Informal Events
• Annual informal events, such as the multicultural party.

For more information: Click Here