Software Performance Engineering

1 Research Collaborator position
(Deadline February 13th, 2020 12:00 )

Software performance, formal methods, Markov chains, differential equations

The successful candidate will be involved in the research activities related to the project SEDUCE, concerned with the design and analysis of cyberphysical systems under uncertainty. Within this project, the candidate will be collaborating with members of the SYSMA research unit at the IMT School in Lucca as well as other project partners for the development of techniques to derive performance models from specifications and implementations of software for the control of cyberphysical systems.

Experience with methods for software performance engineering, with emphasis on models based on Markov chains such as Markov population processes, queuing networks, stochastic process algebra, and stochastic Petri nets. Expertise with control and self-adaptation methods, although not mandatory, will be considered a plus.

Formal requirements
  • A PhD in Computer Science or related fields;
  • Excellent knowledge of both written and spoken English.
Specific requirements
  • Expertise with control and self-adaptation methods.
Gross amount

€ 30000/year


2 years


PRIN “Designing Spatially Distributed Cyber-Physical Systems under Uncertainty” (MIUR code 2017TWRCNB)

Job Research Unit: 
Job Contract Type: 
Assegno di ricerca


Apply ONLINE only.

Before filling in the application form, please read thoroughly the full call and collect all the files you may need:


  • Personal info and contact info (compulsory);
  • University degree (compulsory);
  • PhD (compulsory only if stated in the full call).


  • The scanned copy of a valid identity document (Passport or Identity Card - compulsory);
  • Your CV in English (compulsory).