[TYPES/announce] Assistant Professor (RTD-A) at IMT Lucca

[Rocco De Nicola]

SPECIFICATION, ANALYSIS AND VERIFICATION
OF CONCURRENT DISTRIBUTED SYSTEMS

IMT School for Advanced Studies Lucca invites applications for one 
fixed-term Assistant Professor position (Ricercatore a Tempo Determinato 
Tipo A, RTD-A) in Computer Science.

The position is initially for three years, with the possibility of a 
further two-year extension upon successful evaluation.

We seek to strengthen or organically complement IMT's current areas of 
expertise on languages and techniques for the specification, analysis 
and verification of concurrent and distributed systems. Relevant fields 
of interest are concurrency theory, programming languages, and software 
engineering, with applications in a wide range of domains such as 
adaptive systems, cyber-physical systems, cloud computing, computational 
biology, fault-tolerant systems, security, and smart cities.

IMT is one of Italy’s six schools of excellence for postgraduate 
education, ranked first in the last national research assessment 
exercise. The successful candidate is expected to publish in 
high-profile journals and conferences. Moreover she/he is expected to 
contribute to the activities of the SysMA research unit 
(http://sysma.imtlucca.it) with the teaching and supervision of PhD 
students, admitted to the School through a selective international 
competition.

The working language is English. On-campus Italian courses are offered 
free of charge.

The indicative starting gross salary is € 35,000; net income may vary 
depending on income taxes, local taxes, retirement plan, health care 
deduction and tax exemptions. New employees who have worked in 
research-based positions abroad for the previous two years may be 
eligible for a substantial tax rebate for the first three fiscal years 
of employment.

The online application form is available at 
https://www.imtlucca.it/school/job-opportunities/academic/344

* Deadline for Application 28th September 2017 noon *

For details, please contact {rocco.denicola,mirco.tribastone}@imtlucca.it