3 software-formal-method-phd research jobs at INESC ID

Public notice for one uncertain-term work contract for a Researcher reference 2025.021.CTTRI | Application submission from December 11 to 31 of 2025

INESC ID | Portugal | 3 days ago

10 Dec 2025 Job Information Organisation/Company INESC ID Research Field Engineering » Computer engineering Researcher Profile First Stage Researcher (R1) Positions PhD Positions Country 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 | 3 months ago

Engenharia Electrotécnica e de Computadores, Área de Energia, Av. Rovisco Pais 1049-001 Lisboa ELIGIBILITY CONDITIONS Any national, foreign and stateless candidate(s) holding a PhD in Computer Science and

Public notice for one fixed-term work contract for a Researcher reference 2025.020.CTTRC | Application submission from September 18 to October 1 of 2025

INESC ID | Portugal | 3 months ago

. Candidates shall be ordered by applying the successive voting method. The jury has the faculty to not approve a candidate who is not considered on absolute merit. Candidates with an average score below 70