Specification, analysis and verification of concurrent and distributed systems

1 Assistant Professor position
(Deadline September 28th, 2017 12:00 )

Programming languages, Concurrency theory, System Modelling, Program Verification, Computer Security


The successful candidate is expected to publish in first-class journals and in the proceedings of top conferences of her/his research area. Moreover, she/he will teach postgraduate courses and co-supervise PhD students. The successful candidate is also expected to collaborate in ongoing projects of the SysMA Research Unit, help establish links with local companies and institutions, and apply for national and international research funding.


The candidate must have a proven track record of research on languages, models and techniques for the specification, analysis and verification of concurrent and distributed systems guaranteeing complementarity and continuity with respect to the existing expertise at the School. The candidate must demonstrate ability to carry out original research in concurrency theory, programming languages, and software engineering, with applications in a wide range of domains such as adaptive systems, cyber-physical systems, computational biology, cybersecurity, and transportation networks. Since multidisciplinary research is a founding value of the School, inclination to work at the intersection with other core disciplines of IMT relevant to cybersecurity will be considered an asset.

Formal requirements

The candidate must have a PhD in one of the scientific areas highlighted in the profile before beginning the appointment. An excellent level of both written and spoken English is mandatory.

Scientific area

01/B1 - Informatica

Gross amount

Ricercatore tempo determinato (legge 240/2010 art. 24 comma 3 lettera a))


3 years

Job Research Area: 
Job Research Unit: 
Job Contract Type: 
Ricercatore tempo determinato (legge 240/2010 art.24 comma 3 lettera a) ) - Fixed term researcher
Full call
Preliminary shortlist
Preliminary shortlist
Third meeting of the Selection Committee

On October 27, 2017 at 10.00, meeting room, Piazza San Ponziano 6, Lucca.

Final shorlist
Final shorlist
Fourth meeting of the Selection Committee

On November 17, 2017 at 10.00, Conference Room, Piazza San Ponziano 6, Lucca.

Final decree

Selection procedure and criteria

Selection procedure conditions are transparent and are based on international standards.


A Selection Committee, appointed by the Rector, assesses all applications on the basis online application info. Applicants selected on the basis of the preliminary analysis are interviewed at the Job Market Meetings in which the Institute is planning to participate, if applicable to the specific academic sector. Alternatively, individual interviews may also be conducted at IMT or by conference call. Travel expenses to Lucca for the interview will be reimbursed.

Selection Criteria

The evaluation criteria are based on: Quality of research activity, including publications in peer-reviewed journals and references; Research organization experience and participation in international/national research projects and research periods in public and private institutions (academic and non-academic); Relevance of the candidate's profile for the development of IMT's research activities; Teaching, mentoring and supervision experience; Motivation; Excellent knowledge of English, both written and spoken; As well as any other requirements as specified in the advertisement.


Apply ONLINE only.

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


  • Personal info and contact info (compulsory)
  • Number of your Identity Document (Passport or Identity Card) (compulsory)
  • University degree and Ph.D. (compulsory) 


  • Your CV in English (compulsory);
  • One research paper (published or working paper): compulsory.
    Shortlisted candidates will be asked to present this research paper in the final stage of the selection.
    Additional papers can be submitted for evaluation if desired (to be attached to your application in a single zip file where indicated in the online form). Please check the full call for further information about additional papers.