Logic List Mailing Archive
Postdoctoral position in theory and algorithms for resilient self-programming, Trente (Italy), Deadline: 31 Oct 2022
At the Information Engineering and Computer Science department of the
University of Trento we are looking for an enthusiastic PostDoc to develop
a core theory and set of algorithms for resilient AI-based
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.
Thanks in advance,
Description: PostDoc position in Artificial Intelligence at the Department
of Information Engineering and Computer Science of University of Trento to
contribute to the development of a core theory and algorithms for
resilient AI-based 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 theoretical framework is complemented by the realization
of prototype supporting tools as well as practical applications in
selected realistic scenarios (e.g. manufacturing, intra-logistics,
Gross amount for Research Fellowship:Euro 30.200,00 / year
The call is now open.
Interested candidates shall contact Prof. Marco Roveri
firstname.lastname@example.org to ask for additional information.
The Department of Information Engineering and Computer Science at
University of Trento
The Department of Information Engineering and Computer Science - DISI
(https://www.disi.unitn.it) primarily covers the topics of information
technology and engineering and ranked first among computer science
departments in Italy and 78th worldwide according to the latest U.S. News
Best Global Universities ranking.
The University of Trento is one of the best universities in Italy, and the
region of Trentino Alto Adige is a top location in Europe in terms of
quality of life and efficiency of services.
The application must be completed and submitted by Octobre 31, 2022,
solely by the online system at the following page:
* Deadline August 31, 2021 04.00 PM CEST
Read carefully the announcement, the requirements and to include all the required documents. An
application without the required information will be discarded without evaluation.
[LOGIC] mailing list
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam