[I-RIM ML] Post doc position on AI, Planning and LTLf synthesis at UniTN

[Marco Roveri]

[Apologies if you receive multiple copies of this CFP]

At the Department of Information Engineering and Computer Science
<https://es.sonicurlprotection-fra.com/click?PV=2&MSGID=202409260804300165497&URLID=10&ESV=10.0.28.7941&IV=EC0EB7434EEEE3685E93661F3D63EA2C&TT=1727337879658&ESN=DgAZqzEonR6dycKrYO2aN1PKCTMNNcipPaoIpBF74wo%3D&KV=1536961729280&B64_ENCODED_URL=aHR0cHM6Ly93d3cuZGlzaS51bml0bi5pdC8&HK=BB80384219C2442370420E640D77291FF450CFFD81F0D1792D815C4F6BD5206E> of the University of Trento we have a *1-year
postdoc position* to work on the development of a core *theory and
algorithms for resilient self-programming*, 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 *extending existing
approaches to AI Planning and LTL/LTLf synthesis* 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

*Gross salary*: 39.600,00 €
*Possible starting date*: 01/11/2024
*Contact person*: Marco Roveri <marco.roveri at unitn.it>
*Application link*:
https://es.sonicurlprotection-fra.com/click?PV=2&MSGID=202409260804300165497&URLID=9&ESV=10.0.28.7941&IV=E576BFD3572F27D3A3229908B5765ABA&TT=1727337879658&ESN=6Ip6FyIOu6SR57GZ0iP1nbeU0jXrbnbfAwYY4cAihME%3D&KV=1536961729280&B64_ENCODED_URL=aHR0cHM6Ly9sYXZvcmFjb25ub2kudW5pdG4uaXQvYXNzZWduaS1kaS1yaWNlcmNhL2RpcGFydGltZW50by1kaS1pbmdlZ25lcmlhLWUtc2NpZW56YS1kZWxsaW5mb3JtYXppb25lLWF2dmlzby1kaS1zZWxlemlvbmUtaWwtY29uZmVyaW1lbnRvLWRpLW4tMS0zNQ&HK=C44A5B86160B72659F95E6DAD6686F8552A05428CD6B0EA11E9FBAF64C15F29D
*Deadline for application*: 14/10/2024 - 12:00


--
Marco Roveri, Ph.D.
Associate Professor
Department of Information Engineering and Computer Science
University of Trento
Via Sommarive 9 - 38123 Povo - Trento (Italy)
E-mail: marco.roveri at unitn.it
Office: +39 0461285259
Cell:  +39 3666023955
Web: https://es.sonicurlprotection-fra.com/click?PV=2&MSGID=202409260804300165497&URLID=8&ESV=10.0.28.7941&IV=E3B1436F303D1FAA71DA1619411AD5FA&TT=1727337879658&ESN=waPc%2F54AkkX0DbnmeQLIaA2UhYRzSIHgDsUHwzVc7Ks%3D&KV=1536961729280&B64_ENCODED_URL=aHR0cHM6Ly9zaXRlcy5nb29nbGUuY29tL3ZpZXcvbWFyY28tcm92ZXJpL2hvbWU&HK=1281B66EDF2DCC791CF5E7E2DE4483ADBE5FE4D69A41FFEBA6C8674DCAE8FE35
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.i-rim.it/pipermail/ml/attachments/20240926/d74de6c9/attachment-0001.html>