Assistant Professor in Specification, analysis and verification of concurrent and distributed sys...

IMT School for Advanced Studies Lucca
August 31 2017
Position Type
Full Time
Organization Type

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. Profile: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.

This job comes from a partnership with Science Magazine and Euraxess