1 formal-methods 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