3 formal-method-phd Fellowship positions at INESC ID

Public notice for research grant Refª BI|2025/681 Project OptiGov: Aproveitar a IA para a Eficiência dos Processos na Administração Pública - ref. 2024.07385.IACDC - Application submission from 10 to 21 of March 2025

INESC ID | Portugal | 3 months ago

automated reasoning methods, enhanced by and integrated with the capabilities of LLMs to extract relevant information, for aligning the PA specifications with the guidelines. BINDING LEGISLATION Law 40/2004

Public notice for research grant Refª BI|2025/682 Project OptiGov: Aproveitar a IA para a Eficiência dos Processos na Administração Pública - ref. 2024.07385.IACDC - Application submission from 10 to 21 of March 2025

INESC ID | Portugal | 3 months ago

a structured symbolic schema to express the PA specifications and guidelines, using logic formalisms. BINDING LEGISLATION Law 40/2004 of 18th of August (Scientific Research Fellow Status) in its

Public notice for research grant Refª BII|2025/680 Project Center for Responsible AI - refª C628696807-00454142 - Application submission from 10 to 21 of March 2025

INESC ID | Portugal | 3 months ago

being notified, all candidates have 10 working days to submit a formal rebuttal. After that period, the evaluation panel notifies the candidates of the final report. Excluded candidates may complain about