Logics and algorithms for distributed monitoring spatio-temporal properties of cyber physical systems

1 Research Project Fellow position
(Deadline February 5th, 2016 12:00 )
Fields

Temporal Logics, Formal Methods, Distributed Systems, Verification Tools

Activity

The candidate will study the temporal logics appropriate for supporting distribute monitoring of cyber physical systems and the linguistic constructs useful for specifying spatial aspects of such systems. These formal languages will be the starting point for the definition of a distributed algorithm that can be used to monitor systems consisting of a large number of agents distributed over the space, taking noise and imprecision consistently into account. The monitoring routines will be integrated into statistical verification routines for model-based design of cyber physical systems, relying also on machine learning methodologies.

Formal requirements

Possession of a 4 or 5-year degree in a related field, suitable scientific background for carrying out research activity and experience in the field that should be described in the curriculum vitae. The candidate must be eligible for and enrolled in an Italian Ph.D. Program. An excellent knowledge of English, both written and spoken, is mandatory.

Specific requirements

Previous experience with Logics ad Algorithms for Distributed Systems.

Project

QUANTICOL “A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours” – GA 600708

Gross amount

13.638,47 euro/anno

Duration

1 year not renewable

Job Research Area: 
CSA
Job Research Unit: 
SysMA
Job Contract Type: 
Borsa a progetto - Project fellowship
Full call
Calendar latest update

February 16th, 2016 from 2:00 pm - Piazza San Francesco, 19 Lucca

Calendar
Preliminary shortlist
Preliminary shortlist
Final ranking
Final ranking

Application

Apply ONLINE only.
Before starting prepare the application attachments and information as listed below.

Info

  • Personal info and contact info (compulsory)
  • Number of your Identity Document (Passport or Identity Card) (compulsory)
  • University degree and ongoing PhD (compulsory)

Attachments

  • Your CV in English (compulsory)
Contacts: