Development of descriptive and predictive algorithms for the analysis of georeferenced multivariate time series data. The grant holder will primarily develop contributions in the context of Task 3 of the DATA2HELP project.

The goal of this scholarship is the development of new multi-objective optimization algorithms based on the Leximax criteria.

SLICE - BI| 2021/198
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 implementation in the agent framework FAtiMA of an authoring pipeline that allows agent creation by automatic interpretation and machine comprehension of narrative.

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 the integration of formally verified components related to aspects such as data security. 3) Actively participate in and contribute to PassCert's activities and regular meetings. 4) Submit/Publish a research paper.

The project will involve mainly three tasks: (i) the development of a mobile application prototype to support the collection of in-situ information related to Fuel Management Zones, which should integrate augmented reality techniques, developed in collaboration with other researchers, in order to facilitate users to make their contributions; (ii) research and develop a protocol for the collection of VGI data used by the mobile application; and (iii) the development of the system´s server-side that will manage the data collected by the mobile application and their integration.

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 and ensure that it integrates best practice guidelines developed by the usable security community. 2) Perform qualitative and quantitative user studies to determine the impact of formal verification on the adoption of password managers. 3) Actively participate in and contribute to PassCert's activities and regular meetings.