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

- develop an automatic property-based testing technique for ROS nodes; - identify and analyze relevant related work; - 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

graduate and master in computer engineering or related field

Minimum profile required

- 1 peer reviewed conference or jornal paper.- average BSc and MSc grades of at least 14.

Preference factors

- experience with the Robot Operating System; - experience in the development and usage of automated testing techniques.

Application Period

Since 05 May 2020 to 18 May 2020


Cluster / Centre

Computer Science / High-Assurance Software

Scientific Advisor

Alcino Cunha