3 model-checking research jobs at INESC ID in Portugal

Public notice for one Post-Doctoral Research Grant - Refª BPD|2025/757 Proj. SWATE: Socially-Aware AI for Teamwork Enhancement and Training– Refª LISBOA2030-FEDER-00777100 funded by operation nº 16594, Balcão dos Fundos, FEDER and FCT

INESC ID | Portugal | 1 day ago

domains. The successful candidate will: Develop algorithms to model team performance based on interpersonal (e.g., monitoring, communication) and cognitive (e.g., shared mental models) processes. Design an

Public notice for an uncertain-term work contract for a Researcher reference 2025.017.CTTRI ACHILLES Agreement 101189689 funded by the European Union Application submission from August 27, to September 10, of 2025

INESC ID | Portugal | 29 days ago

the impact on the predictive quality of a given model that is expected by retraining/fine-tuning it using additional datasets, as well as on predicting the expected cost/latency of such retraining/fine-tuning

Public notice for one Post-Doctoral Research Grant - Refª BPD|2025/748 Project VERSACOMP – Refª 2023.18110.ICDT / LISBOA2030-FEDER-00869000 funded by operation nº 15038, Balcão dos Fundos, FEDER and FCT Application submission from 21Aug to 15Sept, 2025

INESC ID | Portugal | about 1 month ago

: Investigation of current trends in parallel architectures, focusing on programmability as well as the characterization and modeling of their general-purpose capabilities; Investigation of AI hardware trends, with