[apologies for multiple copies, please forward it to interested parties] IMT School for Advanced Studies Lucca invites applications for ten fully-funded Ph.D. positions in Software Quality. Working closely together with IMT's SySMA group , successful candidates will be able to pursue research towards methods for analyzing both functional properties, i.e., program correctness, and extra-functional ones such as usability, accessibility, reliability, performance, and security. We welcome outstanding applicants interested in software quality from several areas of computer science, including formal methods, machine learning, modeling and simulation, program verification, cybersecurity, and software engineering. The positions are fully funded for three years, with the possibility of a scholarship extension of up to one year. Successful applicants will receive a stipend of ca. € 1,300.00 per month. In addition, they will enjoy free full-board accommodation at the stunning IMT campus located in the heart of Lucca. IMT Lucca fosters an international environment. The working language is English. The application deadline is July 27, 2022. Applications must be submitted through the online form available here . Further information about the Ph.D. program is available here . Interested candidates are welcome to direct informal inquiries to sysma@imtlucca.it.