Refer a Friend or Colleague

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