26 proof-checking-postdoc-computer-science-logic positions at INESC ID in Portugal

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 | about 2 months ago

10 Mar 2025 Job Information Organisation/Company INESC ID Research Field Engineering » Computer engineering Researcher Profile First Stage Researcher (R1) Positions Bachelor Positions Country

Public notice for research grant Refª BI|2025/668 OptiGov: Aproveitar a IA para a Eficiência dos Processos na Administração Pública - ref. 2024.07385.IACDC funded by FCT - Application submission from 17 to 28 of Feb 2025

INESC ID | Portugal | 2 months ago

individually and as a team. Preferential factors: Preference will be given to candidates with suitable scientific and professional curriculum such as: - Knowledge in computational logic, data science, and formal

Public notice for research grant Refª BI|2025/662-Project ATE – Refª C644914747-0000023 - Application submission from 11 to 25-02-2025

INESC ID | Portugal | 3 months ago

the fields of Computer Science and Electrical and Computer Engineering. INESC-ID’s research impact is focused on four Thematic Lines Energy transition Life and health technology Security and privacy. Societal

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 | about 2 months ago

10 Mar 2025 Job Information Organisation/Company INESC ID Research Field Engineering » Computer engineering Researcher Profile First Stage Researcher (R1) Positions Undergraduate Positions Country

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 | about 2 months ago

10 Mar 2025 Job Information Organisation/Company INESC ID Research Field Engineering » Computer engineering Researcher Profile First Stage Researcher (R1) Positions Bachelor Positions Country

Public notice for an uncertain-term work contract for a Researcher reference 2025.005.CTTRI | Application submission from March 6 to 20 of 2025

INESC ID | Portugal | about 2 months ago

5 Mar 2025 Job Information Organisation/Company INESC ID Research Field Engineering » Computer engineering Researcher Profile First Stage Researcher (R1) Positions Postdoc Positions Country Portugal

Public notice for research grant Refª BI|2025/661 - FAIRY - Grant AG 101129751 (EU CNRS) - Application submission from 10 to 21 of February 2025

INESC ID | Portugal | 3 months ago

10 Feb 2025 Job Information Organisation/Company INESC ID Research Field Engineering » Computer engineering Researcher Profile First Stage Researcher (R1) Positions Bachelor Positions Country

Public notice for research grant Refª BI|2025/677 EquiVet.AI - 2024.07265.IACDC/2024 funded by Fundação para a Ciência e a Tecnologia Application submission from 26-02 to 11-03-2025

INESC ID | Portugal | 2 months ago

26 Feb 2025 Job Information Organisation/Company INESC ID Research Field Engineering » Computer engineering Researcher Profile First Stage Researcher (R1) Positions Master Positions Country Portugal

Public notice for research grant Refª BI|2025/678 EquiVet.AI - 2024.07265.IACDC/2024 funded by Fundação para a Ciência e a Tecnologia Application submission from 26-02 to 11-03-2025

INESC ID | Portugal | 2 months ago

26 Feb 2025 Job Information Organisation/Company INESC ID Research Field Engineering » Computer engineering Researcher Profile First Stage Researcher (R1) Positions Bachelor Positions Country

Public notice for research grant Refª BII|2025/675 - Project InfraGov - Refª 2024.07411.IACDC - Application submission from 24-feb to 10-mar 2025

INESC ID | Portugal | 2 months ago

24 Feb 2025 Job Information Organisation/Company INESC ID Research Field Engineering » Computer engineering Researcher Profile First Stage Researcher (R1) Positions Undergraduate Positions Country