Temporal logics for collective adaptive systems

1 Research Collaborator position
(Deadline August 1st, 2016 12:00 )
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-5 years undergraduate degree or equivalent MSc’s level education in the related areas. The candidate must have a curriculum with a suitable scientific and professional background for carrying out research activity and experience in the required field. Excellent knowledge of English, both written and spoken.

Project

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

Scientific area

Scienze matematiche e informatiche, Settore Scientifico Disciplinare INF/01 Informatica

Gross amount

€ 19.367,00/a year in total

Duration

1 year not renewable

Job Research Area: 
CSSE
Job Research Unit: 
SysMA
Job Contract Type: 
Assegno di ricerca
Full call
Calendar latest update

July 20th, 2016

Calendar
Calendar
Preliminary shortlist
Preliminary shortlist
Second meeting of the Selection Committee

August 4th, 2016 - Piazza San Francesco, 19 Lucca from 12:00 pm

Final decree

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)