Analysis and verification of distributed multi-agent systems

1 Visiting Professor position
(Deadline May 25th, 2022 13:00 )
Profile

Researcher with experience in the analysis and verification of distributed multi-agent systems.  Revelant topics include the use of formal  methods, concurrency theory, and game theory for the design, validation, testing and analysis of such systems, as well as synthesis of control and coordination mechanisms.

Activity

 

- Research seminars 
- Research collaborations 
- Contributions to the PhD educational program at the IMT School for Advanced Studies Lucca. 

Duration

6 months

Gross amount

€ 10000

Formal requirements
  • A PhD in Computer Science or related areas;
  • Candidates must have an excellent record of high-impact international publications and international collaborations;
  • Knowledge of English, both written and spoken;

 

Specific requirements
  • Candidates should demonstrate experience in the topics of interests for this position. 
Job Research Area: 
CSA
Job Research Unit: 
SysMA
Job Contract Type: 
Contratto di lavoro autonomo

Application

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

Info

  • Personal info and contact info (compulsory)

Attachments

  • Your CV in English (compulsory)
Contacts: