1 model-checking positions at INESC ID in Portugal

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 15 hours 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