PhD student positions in Computer Science, Lucca (Italy)

Applications are now being accepted for scholarships for the Computer Science and Systems Engineering (CSSE) curriculum within the 2016/17 PhD program at the IMT School for Advanced Studies Lucca. Research deals with the development of languages and techniques for the analysis and verification of modern concurrent and distributed systems. Specific areas of expertise 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 transportation networks.

Applications must be received before 13 July, 2016. For more information, see https://www.imtlucca.it/phd or http://sysma.imtlucca.it/phd-program/. For informal enquiries, please do not hesitate to contact: Rocco De Nicola (rocco.denicola at imtlucca.it) or Mirco Tribastone (mirco.tribastone at imtlucca.it).