<div dir="ltr"><span id="gmail-docs-internal-guid-d57772e1-7fff-5fb9-54c7-0ee240348ba6" style="color:rgb(0,0,0)"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">IMT School for Advanced Studies Lucca - recently ranked one of Italy’s top universities for computer science in the last national research evaluation exercise - invites applications for 12 fully-funded Ph.D. positions in </span><a href="https://urldefense.com/v3/__https://sys.imtlucca.it/program-overview/software-quality-sq__;!!IBzWLUs!Rr6FrqoqD_yBdny7wEaU3BLM_JkfDk6epVyFbspMakKrVnxYJO0x2oe3sXeotlfdJUVXhEDsNkQ5V5ez7cht1ETUwP1TS9Yf8Qe6iKNDK2NJnA$" style="text-decoration:none"><span style="font-size:11pt;font-family:Arial;font-variant-ligatures:normal;font-variant-east-asian:normal;text-decoration:underline;text-decoration-skip:none;vertical-align:baseline;white-space:pre-wrap">Software Quality</span></a><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">, a doctoral track within IMT’s program in </span><a href="https://urldefense.com/v3/__https://sys.imtlucca.it/__;!!IBzWLUs!Rr6FrqoqD_yBdny7wEaU3BLM_JkfDk6epVyFbspMakKrVnxYJO0x2oe3sXeotlfdJUVXhEDsNkQ5V5ez7cht1ETUwP1TS9Yf8Qe6iKNP86WayA$" style="text-decoration:none"><span style="font-size:11pt;font-family:Arial;font-variant-ligatures:normal;font-variant-east-asian:normal;text-decoration:underline;text-decoration-skip:none;vertical-align:baseline;white-space:pre-wrap">Systems Science</span></a><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">. </span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Successful applicants will receive the following benefits:</span></p><ul style="margin-top:0px;margin-bottom:0px"><li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre"><p dir="ltr" role="presentation" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">a stipend of ca. € 1,300.00 per month;</span></p></li><li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre"><p dir="ltr" role="presentation" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">free full-board, serviced accommodation at the stunning IMT campus located in the heart of Lucca, Tuscany (estimated value € 800.00 per month); </span></p></li><li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre"><p dir="ltr" role="presentation" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">50% scholarship increase for research periods abroad;</span></p></li><li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre"><p dir="ltr" role="presentation" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">generous research allowance. </span></p></li></ul><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap"><br></span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">The positions are fully funded for three years, with the possibility of a scholarship extension of up to one year. </span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Working closely with IMT's </span><a href="https://urldefense.com/v3/__https://sysma.imtlucca.it/__;!!IBzWLUs!Rr6FrqoqD_yBdny7wEaU3BLM_JkfDk6epVyFbspMakKrVnxYJO0x2oe3sXeotlfdJUVXhEDsNkQ5V5ez7cht1ETUwP1TS9Yf8Qe6iKNgS-HJeA$" style="text-decoration:none"><span style="font-size:11pt;font-family:Arial;font-variant-ligatures:normal;font-variant-east-asian:normal;text-decoration:underline;text-decoration-skip:none;vertical-align:baseline;white-space:pre-wrap">SySMA group</span></a><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">, successful candidates will be able to pursue research towards methods for analyzing both functional properties, i.e., </span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-weight:700;font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">program correctness</span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">, and extra-functional ones such as </span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-weight:700;font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">usability</span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">, </span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-weight:700;font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">accessibility</span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">, </span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-weight:700;font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">reliability</span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">, </span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-weight:700;font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">performance</span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">, and </span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-weight:700;font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">security</span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">.</span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">We welcome outstanding applicants interested in software quality from several areas of computer science, including </span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-weight:700;font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">formal methods</span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">, </span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-weight:700;font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">machine learning</span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">, </span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-weight:700;font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">modeling and simulation</span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">, </span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-weight:700;font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">program verification</span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">, </span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-weight:700;font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">cybersecurity</span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">, and </span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-weight:700;font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">software engineering</span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">.  </span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">IMT Lucca fosters an international environment. The working language is English.</span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">The application</span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-weight:700;font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap"> deadline is June 19, 2023</span><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">. Applications must be submitted through the online form available </span><a href="https://urldefense.com/v3/__https://sys.imtlucca.it/how-to-apply__;!!IBzWLUs!Rr6FrqoqD_yBdny7wEaU3BLM_JkfDk6epVyFbspMakKrVnxYJO0x2oe3sXeotlfdJUVXhEDsNkQ5V5ez7cht1ETUwP1TS9Yf8Qe6iKN60sxODA$" style="text-decoration:none"><span style="font-size:11pt;font-family:Arial;font-variant-ligatures:normal;font-variant-east-asian:normal;text-decoration:underline;text-decoration-skip:none;vertical-align:baseline;white-space:pre-wrap">here</span></a><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">. Further information about the Ph.D. program in Software Quality is available </span><a href="https://urldefense.com/v3/__https://sys.imtlucca.it/program-overview/software-quality-sq__;!!IBzWLUs!Rr6FrqoqD_yBdny7wEaU3BLM_JkfDk6epVyFbspMakKrVnxYJO0x2oe3sXeotlfdJUVXhEDsNkQ5V5ez7cht1ETUwP1TS9Yf8Qe6iKNDK2NJnA$" style="text-decoration:none"><span style="font-size:11pt;font-family:Arial;font-variant-ligatures:normal;font-variant-east-asian:normal;text-decoration:underline;text-decoration-skip:none;vertical-align:baseline;white-space:pre-wrap">here</span></a><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">. </span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Interested candidates are welcome to direct informal inquiries to </span><a><span style="font-size:11pt;font-family:Arial;color:rgb(17,85,204);font-variant-ligatures:normal;font-variant-east-asian:normal;text-decoration:underline;text-decoration-skip:none;vertical-align:baseline;white-space:pre-wrap">sysma@imtlucca.it</span></a><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">. </span></p></span><br class="gmail-Apple-interchange-newline" style="color:rgb(0,0,0)"><br class="gmail-Apple-interchange-newline" style="color:rgb(0,0,0)"></div>