[TYPES/announce] Assistant Professor position in Modelling and Analysis of Concurrent Systems at IMT Lucca (deadline October 31st)

[Marzia Buscemi]

[ Applications from candidates with background in types, semantics and logics
are particularly welcome. ]


The IMT Institute for Advanced Studies Lucca invites applications for
an Assistant Professor position in the areas of foundations and formal
specification of concurrent (distributed, mobile, autonomic) systems;
quantitative and qualitative modelling and analysis of concurrent
systems and design and development of software tools to support their
formal analysis; applications to socio economic systems.

IMT Lucca (http://www.imtlucca.it) is a public international Graduate
School and Institute of Technology that acts as a research university
with the aim of forming human capital in disciplines characterized by
their high potential for concrete applications. IMT strives to reach
the fusion of theoretical comprehension and practical relevance.

The Assistant Professor will be a part of the Research Unit "System
Modelling and Analysis" (SysMA, http://sysma.lab.imtlucca.it/) in the
Computer Science and Applications area of the Institute, and will
perform research activities, tutorship and mentoring of Ph.D.
students, limited teaching of graduate courses and participation in
the development of the research activities of the Institute.

Appointment compensation packages will depend on the candidates and
their records of accomplishment, but are competitive on an
international level. Applicants must be able to teach graduate courses
in English; knowledge of Italian is not required.

The deadline for application is October 31st, 2011 12:00 pm CET.

Interested candidates must apply before the deadline by filling in the
online application form at http://www.imtlucca.it/faculty/positions
under "Junior Faculty Recruitment Program". They will also be asked to
submit a CV, a research paper (published or working) and the name and
contact details of three referees.

For further information about the position, applicants can refer to

http://www.imtlucca.it/faculty/positions/junior_faculty_recruitment_program.php#modelling_concurrent_systems

or can contact either the sender of this message or Sara Olson:
researchers.opening at imtlucca.it.