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

- Development of variations of multi-relational fuzzy and probabilistic semantics for Reo connectors, using use-cases from medical systems based on the Arden syntax (4M). - Specification of a dynamic logic to verify and specify connectors via refinments (4M). - Study of equivalence notions for these fuzzy models (bisimulations and refinements), and their relation with the proposed logic (4M).

Academic Qualifications

master's degree in computer science or mathematics

Minimum profile required

Master with some research experience in the scientific area of the project, and knowledgeable in the respective area (fuzzy logics and coordination models).

Preference factors

Participation in research projects in formal methods, with emphasis on algebraic analysis of computational models. Knowledge of concurrent languages. Good graduation grades.

Application Period

Since 26 May 2020 to 08 Jun 2020


Cluster / Centre

Computer Science / High-Assurance Software

Scientific Advisor

Alexandre Castro Madeira