[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
