Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Research Opportunity
Apply now Final Selection Minute View Formal Call
Research Opportunity

Software Engineering


Work description

This grant complements the standard curricula of computer science degrees, by allowing the grant holder to develop a project (or master thesis) that will help solidify his/her knowledge on formal methods for software engineering. In particular, the grant holder will pursue the following work and training plan: - identify one of the model-based ROS code analysis techniques previously developed in the project, whose efficiency is currently preventing its application in realistic systems, in particular systems with high variability; - identify and analyze relevant related work; - specify and implement a new version of that technique in the HAROS tool - evaluate the effectiveness of the developed technique through its application to the software of a realistic robotic system; - write the activity report of the grant.

Academic Qualifications

BSc in computer engineering, computer science, or similar

Preference factors

- experience with the Robot Operating System; - knowledge of formal methods.

Application Period

Since 24 Nov 2020 to 09 Dec 2020


Cluster / Centre

Computer Science / High-Assurance Software

Scientific Advisor

Alcino Cunha