<div dir="ltr"><div>[<span class="gmail-il">Apologies</span> if you receive multiple copies of this CFP]<span style="color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px"><br></span></div><div><br></div><span style="color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">At the </span><a href="https://es.sonicurlprotection-fra.com/click?PV=2&MSGID=202409260804300165497&URLID=7&ESV=10.0.28.7941&IV=A381CD8E38EBC910B2A1AFF5EAD845F4&TT=1727337879657&ESN=g3MkU05t0UkNyeLAQY4D9v0Iv46WTFMUiMEdQg05tdo%3D&KV=1536961729280&B64_ENCODED_URL=aHR0cHM6Ly93d3cuZGlzaS51bml0bi5pdC8&HK=BC7660BDD2926AC6A19EDE680BDBC7CBF1FAD49329D73905EDED01032A30B019">Department of Information Engineering and Computer Science</a><span style="color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px"> of the University of Trento we have a <b>1-year postdoc position</b> to work on the development of a core <i>theory and algorithms for resilient self-programming</i>, i.e, to define mechanisms to enable agents to act in an informed and intelligent way in their environment by changing autonomously the way they behave as a consequence of the information they acquire from the external world and exchange with the humans operating therein. The study will focus on <i><u>extending existing approaches to AI Planning and LTL/LTLf synthesis</u></i> by i) enriching the computed strategies with fault-tolerant capabilities, ii) considering several models at synthesis and execution time leveraging the most appropriate model depending on the observed contingency at execution time; iii) integrating reinforcement and model learning to enable for determining tolerant strategies that work in a reference model plus variations. The realization of prototype supporting tools and practical applications in selected realistic scenarios complements the theoretical framework. This grant is funded by the project MUR PRIN 2020 - RIPER - Resilient AI-Based Self-Programming and Strategic Reasoning - CUP E63C22000400001</span><div><font color="#333333" face="Helvetica Neue, Helvetica, Arial, sans-serif"><span style="font-size:14px"><br></span></font></div><div><font color="#333333" face="Helvetica Neue, Helvetica, Arial, sans-serif"><span style="font-size:14px"><b><u>Gross salary</u></b>: </span></font>39.600,00 €</div><div><font color="#333333" face="Helvetica Neue, Helvetica, Arial, sans-serif"><span style="font-size:14px"><b><u>Possible starting date</u></b>: 01/11/2024</span></font></div><div><font color="#333333" face="Helvetica Neue, Helvetica, Arial, sans-serif"><span style="font-size:14px"><b><u>Contact person</u></b>: Marco Roveri <<a href="mailto:marco.roveri@unitn.it">marco.roveri@unitn.it</a>></span></font></div><div><font color="#333333" face="Helvetica Neue, Helvetica, Arial, sans-serif"><span style="font-size:14px"><b><u>Application link</u></b>: </span></font><a href="https://es.sonicurlprotection-fra.com/click?PV=2&MSGID=202409260804300165497&URLID=5&ESV=10.0.28.7941&IV=9CE26B81AD7FCF42DBA35059D7DB6C95&TT=1727337879656&ESN=9ONY%2BnymIWaI5W%2FWL0wmWmWepZ%2Fa6l6xHKSRbb8h7vk%3D&KV=1536961729280&B64_ENCODED_URL=aHR0cHM6Ly9sYXZvcmFjb25ub2kudW5pdG4uaXQvYXNzZWduaS1kaS1yaWNlcmNhL2RpcGFydGltZW50by1kaS1pbmdlZ25lcmlhLWUtc2NpZW56YS1kZWxsaW5mb3JtYXppb25lLWF2dmlzby1kaS1zZWxlemlvbmUtaWwtY29uZmVyaW1lbnRvLWRpLW4tMS0zNQ&HK=8162F4CBD99EBBFE81F915FD49B823C6546FB8839C514174417723D8BD5D0B9C">https://lavoraconnoi.unitn.it/assegni-di-ricerca/dipartimento-di-ingegneria-e-scienza-dellinformazione-avviso-di-selezione-il-conferimento-di-n-1-35</a></div><div><b><u>Deadline for application</u></b>: 14/10/2024 - 12:00</div><div><font color="#333333" face="Helvetica Neue, Helvetica, Arial, sans-serif"><span style="font-size:14px"><br clear="all"></span></font><div><br></div><span class="gmail_signature_prefix">--</span><br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>Marco Roveri, Ph.D.<br></div><div>Associate Professor</div><div>Department of Information Engineering and Computer Science<br></div><div>University of Trento</div><div>Via Sommarive 9 - 38123 Povo - Trento (Italy)</div><div>E-mail: <a href="mailto:marco.roveri@unitn.it" target="_blank">marco.roveri@unitn.it</a></div><div>Office: +39 0461285259</div><div>Cell:  +39 3666023955<br></div><div>Web: <a href="https://es.sonicurlprotection-fra.com/click?PV=2&MSGID=202409260804300165497&URLID=2&ESV=10.0.28.7941&IV=09B9E7333474BC1EDFBB3CC8824493AC&TT=1727337879656&ESN=MFLB96PgZEFBco20w%2FgJCeLZHtzT7hdZpMVMl8Brtr8%3D&KV=1536961729280&B64_ENCODED_URL=aHR0cHM6Ly9zaXRlcy5nb29nbGUuY29tL3ZpZXcvbWFyY28tcm92ZXJpL2hvbWU&HK=313590FC1B16AE3C13983C0263A88BDD0ABAAA3289C76EF347B3CF9D516B4118" target="_blank">https://sites.google.com/view/marco-roveri/home</a></div></div></div></div></div></div></div>