Logic List Mailing Archive

Postdoctoral position in theory and algorithms for resilient self-programming, Trente (Italy), Deadline: 31 Oct 2022

Dear colleagues,

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,

Marco Roveri
Email: marco.roveri@unitn.it


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, 
hospital, pharmaceutical).

Gross amount for Research Fellowship:Euro 30.200,00 / year

The call is now open.

Interested candidates shall contact Prof. Marco Roveri 
marco.roveri@unitn.it 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:

  * https://www.unitn.it/en/ateneo/bando/75361/department-disi-call-for-the-selections-for-the-awar
  *  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
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam