Research Opportunity
Software Engineering
[Closed]
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
[Closed]
Cluster / Centre
Computer Science / High-Assurance Software