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

Formal Methods


Work description

- define a technique for verifying information-flow security properties of robotic applications developed with the ROS2 middleware using Alloy; - 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

computer engineering master's student

Minimum profile required

- average BSc grade of at least 14.- attendance of courses where the Alloy formal specification language is taught.

Preference factors

- experience with the ROS2 middleware;

Application Period

Since 12 Jan 2022 to 25 Jan 2022


Cluster / Centre

Computer Science / High-Assurance Software

Scientific Advisor

Alcino Cunha