The candidate will work on the project SLICE, which aims to develop and validate an authoring-friendly framework for the creation of transparent social intelligent agents capable of being deployed as virtual characters in training simulations or games or used to drive the behaviour of social robots. This framework joins two until now disparate areas of artificial intelligence research, namely, social agent architectures and machine learning. In particular, the candidate will work on the Model and Dialog System components.

The selected candidate will be a member of the research project PassCert, which aims at building an open-source, proof-of-concept password manager that through the use of formal verification, is guaranteed to satisfy properties on data storage and password generation. PassCert is a research collaboration between researchers from INESC-ID Lisboa (PT), INESC TEC (PT), and Carnegie Mellon University (US).
The selected candidate will:
 1) Contribute to the development of the proof-of-concept verified password manager.
 2) Explore ways in which the data security of the password manager can improve.
 3) Investigate ways of formally verifying the data security properties identified.
 4) Actively participate in and contribute to PassCert's activities and regular meetings.

The large hadron collider (LHC) at CERN is being upgraded, to improve its performance. One of the detectors of the ATLAS/LHC experiment is TileCal, the Tile hadronic calorimeter, which is also undergoing an upgrade effort.
A Portuguese team from several Institutions is developing the high voltage (HV) system of the Tilecal for the upgrade, which includes the HVremote and HVsupplies boards that regulate the power delivered to photomultiplier tubes (PMT), and their control systems. The system was to be tested at Geneva's CERN site, but due to the current health & safety constraints in Europe is being tested in Lisbon.
The selected candidate will work on some of the following tasks: 
    • Setup of a test system to evaluate the response of PMTs excited by a light source, when using the new HV system prototypes supplying the PMTs active voltage dividers;
    • Test of the next prototype of the HVremote board;
    • Design/test of aHV cable tester;
  The candidate will be part of the ATLAS Portuguese team and will work with the TileCal upgrade team.

This scholarship will Investigate the generation and impact of creative AI explanation approaches, such as time-based visualisations and infographics, sound/music-based, in order to increase user engagement, understandability, and acceptance of AI explanations in the context of information manipulation. Social and psychological aspects will be taken into account in the aim of producing personalised XAI.

The candidate will work on Task 5 of the Cosmos project, namely on “Implementation and Evaluation”. The concrete task of the candidate will implement and evaluate algorithms to offer transactional guarantees for edge storage systems.

Development of advanced models for disaggregation and synthesis of time series data of distributed consumption and production; utilization of disaggregated time series to train new forecast models adapted to the dynamics typical of HV and MV consumption and production in order to significantly improve forecasts quality 72h ahead.

Utilization of disaggregated time series to train new forecast models adapted to the dynamics typical of HV and MV consumption and production to significantly improve forecasts quality 72h ahead; make the codes of predictive models available as open-source apps and monitor their integration on the Azure platform.