Software Performance Engineering

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

Software performance, formal methods, Markov chains, differential equations

Activity
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.
Profile

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

Duration

2 years

Project

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

Job Research Unit: 
SysMA
Job Contract Type: 
Assegno di ricerca

Application

Apply ONLINE only.

Guidelines for applying through the PICA platform (Italian | English).
Before filling in the application form, please read thoroughly the full call and collect all the files you may need:

Info

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

Attachments

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