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.
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)