<html><head>

<meta content="text/html; charset=UTF-8" http-equiv="content-type">

 _69uw0a9ztteg-5{list-style-type:none}ul.lst-kix_oahcf6bkmndg-8{list-style-type:none}ul.lst-kix_69uw0a9ztteg-4{list-style-type:none}.lst-kix_oahcf6bkmndg-6>li:before{content:"\0025cf  "}ul.lst-kix_69uw0a9ztteg-3{list-style-type:none}ul.lst-kix_69uw0a9ztteg-2{list-style-type:none}.lst-kix_oahcf6bkmndg-7>li:before{content:"\0025cb  "}ul.lst-kix_69uw0a9ztteg-1{list-style-type:none}ul.lst-kix_69uw0a9ztteg-0{list-style-type:none}.lst-kix_oahcf6bkmndg-8>li:before{content:"\0025a0  "}.lst-kix_oahcf6bkmndg-5>li:before{content:"\0025a0  "}ul.lst-kix_69uw0a9ztteg-8{list-style-type:none}.lst-kix_oahcf6bkmndg-4>li:before{content:"\0025cb  "}ul.lst-kix_qckybcz161hr-4{list-style-type:none}ul.lst-kix_qckybcz161hr-5{list-style-type:none}ul.lst-kix_qckybcz161hr-6{list-style-type:none}ul.lst-kix_qckybcz161hr-7{list-style-type:none}.lst-kix_oahcf6bkmndg-2>li:before{content:"\0025a0  "}ul.lst-kix_qckybcz161hr-8{list-style-type:none}.lst-kix_oahcf6bkmndg-3>li:before{content:"\0025cf  "}.lst-kix_!

 oahcf6bkmndg-0>li:before{content:"\0025cf  "}.lst-kix_oahcf6bkmndg-1>li:before{content:"\0025cb  "}.lst-kix_qckybcz161hr-3>li:before{content:"\0025cf  "}.lst-kix_qckybcz161hr-2>li:before{content:"\0025a0  "}.lst-kix_qckybcz161hr-4>li:before{content:"\0025cb  "}.lst-kix_qckybcz161hr-1>li:before{content:"\0025cb  "}.lst-kix_qckybcz161hr-5>li:before{content:"\0025a0  "}.lst-kix_qckybcz161hr-7>li:before{content:"\0025cb  "}.lst-kix_qckybcz161hr-0>li:before{content:"\0025cf  "}.lst-kix_qckybcz161hr-6>li:before{content:"\0025cf  "}.lst-kix_qckybcz161hr-8>li:before{content:"\0025a0  "}li.li-bullet-0:before{margin-left:-18pt;white-space:nowrap;display:inline-block;min-width:18pt}ul.lst-kix_qckybcz161hr-0{list-style-type:none}ul.lst-kix_qckybcz161hr-1{list-style-type:none}ul.lst-kix_qckybcz161hr-2{list-style-type:none}ul.lst-kix_qckybcz161hr-3{list-style-type:none}ol{margin:0;padding:0}table td,table th{padding:0}.c0{margin-left:36pt;padding-top:0pt;padding-left:0pt;padding-bottom:0pt;line-h

 eight:1.15;orphans:2;widows:2;text-align:justify}.c1{padding-t!

 op:0pt;padding-bottom:0pt;line-height:1.15;orphans:2;widows:2;text-align:justify;height:11pt}.c2{color:#000000;font-weight:400;text-decoration:none;vertical-align:baseline;font-size:11pt;font-family:"Arial";font-style:normal}.c6{color:#000000;text-decoration:none;vertical-align:baseline;font-size:11pt;font-family:"Arial";font-style:normal}.c10{padding-top:0pt;padding-bottom:0pt;line-height:1.15;orphans:2;widows:2;text-align:center}.c4{padding-top:0pt;padding-bottom:0pt;line-height:1.15;orphans:2;widows:2;text-align:justify}.c7{text-decoration-skip-ink:none;-webkit-text-decoration-skip:none;color:#1155cc;text-decoration:underline}.c9{background-color:#ffffff;max-width:451.4pt;padding:12pt 12pt 12pt 12pt}.c8{padding:0;margin:0}.c3{color:inherit;text-decoration:inherit}.c5{font-weight:700}.title{padding-top:0pt;color:#000000;font-size:26pt;padding-bottom:3pt;font-family:"Arial";line-height:1.15;page-break-after:avoid;orphans:2;widows:2;text-align:left}.subtitle{padding-top:0pt!

 ;color:#666666;font-size:15pt;padding-bottom:16pt;font-family:"Arial";line-height:1.15;page-break-after:avoid;orphans:2;widows:2;text-align:left}li{color:#000000;font-size:11pt;font-family:"Arial"}p{margin:0;color:#000000;font-size:11pt;font-family:"Arial"}h1{padding-top:20pt;color:#000000;font-size:20pt;padding-bottom:6pt;font-family:"Arial";line-height:1.15;page-break-after:avoid;orphans:2;widows:2;text-align:left}h2{padding-top:18pt;color:#000000;font-size:16pt;padding-bottom:6pt;font-family:"Arial";line-height:1.15;page-break-after:avoid;orphans:2;widows:2;text-align:left}h3{padding-top:16pt;color:#434343;font-size:14pt;padding-bottom:4pt;font-family:"Arial";line-height:1.15;page-break-after:avoid;orphans:2;widows:2;text-align:left}h4{padding-top:14pt;color:#666666;font-size:12pt;padding-bottom:4pt;font-family:"Arial";line-height:1.15;page-break-after:avoid;orphans:2;widows:2;text-align:left}h5{padding-top:12pt;color:#666666;font-size:11pt;padding-bottom:4pt;font-family:"Arial";

 line-height:1.15;page-break-after:avoid;orphans:2;widows:2;tex!

t-align:left}h6{padding-top:12pt;color:#666666;font-size:11pt;padding-bottom:4pt;font-family:"Arial";line-height:1.15;page-break-after:avoid;font-style:italic;orphans:2;widows:2;text-align:left}</style></head><body class="c9"><p class="c4"><span class="c2">Dear colleagues and students,<p class="c1"><span class="c2"><p class="c4">For the ERC AdG Project WhiteMech <<span class="c7"><a class="c3" href="https://www.google.com/url?q=https://whitemech.github.io&sa=D&source=editors&ust=1625657315819000&usg=AOvVaw1Aw-2LbU8x0vsqL6Ytx2gn">https://whitemech.github.io</a>> and related research, at the Department of Computer, Control and Management Engineering of Sapienza Università di Roma we are looking for enthusiastic PhD students interested in solving realistic-size and practical synthesis, planning and acting problems in the hot topics of resilient self-programming in several context including Cybersecuri!

 ty (Cyber In-telligence and Information Security), Smart Manufacturing (Industry 4.0), or Digital Healthcare (Hospital of the Future)</span><span>, and Digital Finance</span><span class="c2">.</span></p><p class="c1"><span class="c2"></span></p><p class="c4"><span class="c2">Could you please forward the vacancy description below to anyone that comes to mind? Or please let me know if you'd like to know a bit more.</span></p><p class="c1"><span class="c2"></span></p><p class="c4"><span class="c2">Thanks in advance,</span></p><p class="c4"><span>  Prof. Giuseppe De Giacomo </span><span class="c7"><a class="c3" href="mailto:degiacomo@diag.uniroma1.it">degiacomo@diag.uniroma1.it</a></span><span class="c2"> </span></p><p class="c4"><span>  Prof. Marco Roveri </span><span class="c7"><a class="c3" href="mailto:marco.roveri@unitn.it">marco.roveri@unitn.it</a></span><span class="c2"> <br></span></p><p class="c4"><span class="c2">--------------------------------------</

span><p class="c1"><span class="c2"><p class="c!

10"><span class="c2">ERC AdG WhiteMech PhD positions in Computer Science and Artificial Intelligence Department of Computer, Control and Management Engineering Sapienza University of Rome - Italy<p class="c1"><span class="c2"><p class="c4">ERC AdG WhiteMech <<span class="c7"><a class="c3" href="https://www.google.com/url?q=https://whitemech.github.io&sa=D&source=editors&ust=1625657315821000&usg=AOvVaw2EmYrjBGGoSRtlk8QH-rBg">https://whitemech.github.io</a>> related PhD positions in Computer Science and Artificial Intelligence at the Department of Computer, Control and Management Engineering of Sapienza Università di Roma within challenging projects to develop new algorithms for the automatic synthesis of programs, strategies, policies, plans from high level specifications for resilience, and making these operate in industrial (e.g. manufacturing), (e.g. hospital), and Digital Fina!

 nce relevant environments.</span><span class="c2"> </span></p><p class="c1"><span class="c2"></span></p><p class="c4"><span class="c2">Resilience in Computer Science (CS) and Artificial Intelligence (AI) is the ability to recover gracefully from disruption of the expected circumstances. Resilience has a primary role in distributed systems, but other areas of CS and AI squarely focused on efficiency,considering resiliency only as an afterthought. This is especially true of the areas of CS and AI at the basis of self-programming, such as Agent Program Synthesis, Planning, Reasoning about Actions and Sequential Decision Making, and Formal Methods (FM), which all witnessed a very rapid development in the last years.</span></p><p class="c1"><span class="c2"></span></p><p class="c4"><span>Are you interested in developing the foundations of resilience in self-programming, develop novel algorithms, extending state-of-the-art AI techniques, and prepared to take-on real-life problems &nb

 sp;through an implementation of the techniques in tools and ap!

ply them in important application contexts, such as Cybersecurity (Cyber In-telligence and Information Security), Smart Manufacturing (Industry 4.0), or Digital Healthcare (Hospital of theFuture) or Digital Finance (with collaboration with JPMorgan)<span class="c2">?<p class="c1"><span class="c2"><p class="c4"><span class="c2">Join us in a team that considers automated program synthesis from high-level temporal logical specifications and automated planning the mean to achieve autonomous agent self-programming with the ability to o recover gracefully from disruption of the expected circumstances<p class="c1"><span class="c2"><p class="c4">The main tasks for the PhD student are to work on algorithms and artificial intelligence techniques from the fields of temporal logic synthesis, planning, constraint programming, mathematical optimization, evolutionary algorithms and/or reinforcement learning i) to solve !

 such synthesis problems to achieve resilience; ii) to deepen our understanding of these techniques; iii) and to show how they can be successfully combined to solve relevant problems in the respective context. Moreover, the PhD student will be allowed to experiment the developed techniques and algorithms in realistic-size facilities (e.g. Robotic Labs at the University, and industrial facilities joint with the University of Trento) equipped with state-of-the-art robotic and automation platforms</span><span>, or in realistic environments in collaboration with a big financial player (JPMorgan)</span><span class="c2">.</span></p><p class="c1"><span class="c2"></span></p><p class="c4"><span>The calls are now open within </span><span class="c7"><a class="c3" href="https://www.google.com/url?q=https://phd.uniroma1.it/web/NATIONAL-PHD-IN-ARTIFICIAL-INTELLIGENCE_nD3764_EN.aspx&sa=D&source=editors&ust=1625657315822000&usg=AOvVaw2Q7o3LRUPyxErsXejxFRYP">National PhD in AI</a></s

pan>, and within <span class="c7"><a class="c3" h!

ref="https://www.google.com/url?q=https://phd.uniroma1.it/web/ENGINEERING-IN-COMPUTER-SCIENCE_nD3514_EN.aspx&sa=D&source=editors&ust=1625657315823000&usg=AOvVaw3F_bqpwqpIn4_kEYBosQo_">PhD in Engineering of Computer Science</a>), and granted from the Department of Computer, Control and Management Engineering of Sapienza Università di Roma with contribution of the <span class="c7"><a class="c3" href="https://www.google.com/url?q=https://whitemech.github.io/&sa=D&source=editors&ust=1625657315823000&usg=AOvVaw3rNKDDb-6UG_CD9BG5lHLc">WhiteMech ERC Advanced Grant in AI on WhiteBox Self-Programming Mechanisms</a>. The research <span class="c2">will be carried out under the joint supervision of Prof. Giuseppe De Giacomo (from University of Sapienza Roma) and Prof. Marco Roveri (from University of Trento).<p class="c1"><span class="c2"><p class="c4"><span class="c2">Interested candid!

 ates shall contact </span></p><p class="c4"><span>     Prof. Giuseppe De Giacomo </span><span class="c7"><a class="c3" href="mailto:degiacomo@diag.uniroma1.it">degiacomo@diag.uniroma1.it</a></span><span class="c2"> </span></p><p class="c4"><span>     Prof. Marco Roveri </span><span class="c7"><a class="c3" href="mailto:marco.roveri@unitn.it">marco.roveri@unitn.it</a></span><span class="c2"> <br>to ask for additional information and to arrange for a preliminary interview.</span></p><p class="c1"><span class="c2"></span></p><p class="c4"><span class="c2">Requirements</span></p><p class="c4"><span class="c2">--------------</span></p><p class="c4"><span>Applications for the </span><span class="c7"><a class="c3" href="https://www.google.com/url?q=https://phd.uniroma1.it/web/NATIONAL-PHD-IN-ARTIFICIAL-INTELLIGENCE_nD3764_EN.aspx&sa=D&source=editors&ust=1625657315824000&usg=AOvVaw2gGElY4xacYTDG_5_r_wIx">National PHD in Artificial Inte

lligence</a> and for the <span class=!

"c7"><a class="c3" href="https://www.google.com/url?q=https://phd.uniroma1.it/web/ENGINEERING-IN-COMPUTER-SCIENCE_nD3514_EN.aspx&sa=D&source=editors&ust=1625657315825000&usg=AOvVaw3lSNmUKAMKQuHhTEYmRiLN">Phd in Engineering in Computer Science</a><span class="c2"> are accepted from applicants who hold:<p class="c1"><span class="c2"><ul class="c8 lst-kix_69uw0a9ztteg-0 start"><li class="c0 li-bullet-0"><span class="c2">an Italian “Laurea magistrale” instituted in conformity with Italian Ministerial Decree 270/2004, or</li><li class="c0 li-bullet-0"><span class="c2">a university degree of the previous regulations (Italian "Laurea specialistica " or "Diploma di Laurea"), or</li><li class="c0 li-bullet-0"><span class="c2">an equivalent degree obtained abroad (Master's degree) and recognized as equivalent to the Italian "Laurea magistrale" by the Admissions Committee for !

the sole purposes of admission to the Doctoral programme, also within the framework of mobility and cooperation inter-university agreements.</li></ul><p class="c1"><span class="c2"><p class="c4">Applications are also accepted from students who expect to complete their degree before the starting of the PhD grant (see the complete list of requirements in the <span class="c7"><a class="c3" href="https://www.google.com/url?q=https://www.uniroma1.it/en/pagina/phd-programmes&sa=D&source=editors&ust=1625657315826000&usg=AOvVaw1wK3te_22pAy7kKKwg_CyG">application web</a><span class="c2"> page below).<p class="c1"><span class="c2"><p class="c4"><span class="c2">Application<p class="c4"><span class="c2">--------------<p class="c4">We recommend interested students to <span class="c5">apply to both programs (<span class="c7"><a class="c3" href="https://www.

 google.com/url?q=https://phd.uniroma1.it/web/NATIONAL-PHD-IN-A!

RTIFICIAL-INTELLIGENCE_nD3764_EN.aspx&sa=D&source=editors&ust=1625657315827000&usg=AOvVaw2hjO8HWQnO073eS3H1ACzX">National PHD in Artificial Intelligence</a> and for the <span class="c7"><a class="c3" href="https://www.google.com/url?q=https://phd.uniroma1.it/web/ENGINEERING-IN-COMPUTER-SCIENCE_nD3514_EN.aspx&sa=D&source=editors&ust=1625657315827000&usg=AOvVaw2TsuTYw5tN22E22imWKIyG">Phd in Engineering in Computer Science</a><span class="c2">) following the instructions available at the application link below:<ul class="c8 lst-kix_qckybcz161hr-0 start"><li class="c0 li-bullet-0">Application link: <span class="c7"><a class="c3" href="https://www.google.com/url?q=https://www.uniroma1.it/en/pagina/phd-programmes&sa=D&source=editors&ust=1625657315828000&usg=AOvVaw3kw1ah1Zp0PxJB_bZ26lW-">https://www.uniroma1.it/en/pagina/phd-programmes</a></li></ul><p class="c1"><span cla!

 ss="c2"></span></p><p class="c4"><span class="c2">Deadline for the applications:</span></p><ul class="c8 lst-kix_oahcf6bkmndg-0 start"><li class="c0 li-bullet-0"><span class="c7"><a class="c3" href="https://www.google.com/url?q=https://phd.uniroma1.it/web/NATIONAL-PHD-IN-ARTIFICIAL-INTELLIGENCE_nD3764_EN.aspx&sa=D&source=editors&ust=1625657315828000&usg=AOvVaw21HeoahOAMYVNs3yAezkZI">National PHD in Artificial Intelligence</a></span><span>: </span><span class="c6 c5">July 23, 2021, 1:00pm CET</span></li><li class="c0 li-bullet-0"><span class="c7"><a class="c3" href="https://www.google.com/url?q=https://phd.uniroma1.it/web/ENGINEERING-IN-COMPUTER-SCIENCE_nD3514_EN.aspx&sa=D&source=editors&ust=1625657315829000&usg=AOvVaw2-1DYF5p9z6w_dPjraoksm">Phd in Engineering in Computer Science</a></span><span>: </span><span class="c5">July 20, 2021, 2:00pm CET</span></li></ul><p class="c1"><span class="c2"></span></p><p class="c1"><span class="c2"></span></p></body>

 </html>