4 proof-checking-postdoc-computer-science-logic Fellowship positions at INESC ID in computer-science

Public notice for one research grant Refª BI|2026/952 Project GREENCHIPS - Refª 101123309 - 2022-SKILLS-03 funded by European Commission - Program HORIZON EUROPE

INESC ID | Portugal | 21 days ago

Engenharia de Sistemas e Computadores: Investigação e Desenvolvimento em Lisboa” is a Research and Development and Innovation Organization (R&D+i) in the fields of Computer Science and Electrical and Computer

Public notice for one research grant Refª BI|2026/948 Project MALDIBANK- Refª 101188201 funded by European Commission, program Horizon Europe Application submission from 21-Aug to 04-Sep 2026

INESC ID | Portugal | about 1 month ago

Sistemas e Computadores: Investigação e Desenvolvimento em Lisboa” is a Research and Development and Innovation Organization (R&D+i) in the fields of Computer Science and Electrical and Computer Engineering

Public notice for one research grants Refª BI|2026/943 Project SOLAR-MOVE - Refª 101235635 funded by European Commission - Program HORIZON EUROPE Application submission from 22-Jul to 7 of Aug-2026

INESC ID | Portugal | 2 months ago

Engenharia de Sistemas e Computadores: Investigação e Desenvolvimento em Lisboa” is a Research and Development and Innovation Organization (R&D+i) in the fields of Computer Science and Electrical and Computer

Public notice for one research grants Refª BI|2026/941 Project SHIFT2DC - Refª101136131 funded by European Commission - Program HORIZON EUROPE Application submission from 17-Jul to 7 of August 2026

INESC ID | Portugal | 2 months ago

Engenharia de Sistemas e Computadores: Investigação e Desenvolvimento em Lisboa” is a Research and Development and Innovation Organization (R&D+i) in the fields of Computer Science and Electrical and Computer