67 proof-checking-postdoc-computer-science-logic Fellowship positions at INESC TEC

INESC TEC is accepting applications to award 1 Research Grant for MSC holders - ADAPQO - HASLAB (AE2025-0549)

INESC TEC | Portugal | 4 days ago

26 Nov 2025 Job Information Organisation/Company INESC TEC Research Field Computer science » Informatics Researcher Profile First Stage Researcher (R1) Country Portugal Application Deadline 12 Dec

INESC TEC is accepting applications to award 1 Research Grant for MSC holders - PULSE - CBER (AE2025-0550)

INESC TEC | Portugal | 4 days ago

26 Nov 2025 Job Information Organisation/Company INESC TEC Research Field Computer science » Computer systems Researcher Profile First Stage Researcher (R1) Country Portugal Application Deadline 12

INESC TEC is accepting applications to award 1 Scientific Research Grant - ATE - CPES (AE2025-0532)

INESC TEC | Portugal | 7 days ago

21 Nov 2025 Job Information Organisation/Company INESC TEC Research Field Engineering » Computer engineering Engineering » Electrical engineering Researcher Profile First Stage Researcher (R1

INESC TEC is accepting applications to award 1 Research Grant for MSC holders - Produtech_R3 - CEGI (AE2025-0543)

INESC TEC | Portugal | 4 days ago

library of reusable functions for analysing the feasibility of packaging patterns. 4. REQUIRED PROFILE: Admission requirements: Education in Industrial Engineering, Informatics Engineering, Computer Science

INESC TEC is accepting applications to award 1 Research Grant for MSC holders - Plurianual_25-29 - LIAAD (AE2025-0537)

INESC TEC | Portugal | 7 days ago

21 Nov 2025 Job Information Organisation/Company INESC TEC Research Field Computer science » Programming Computer science » Informatics Researcher Profile First Stage Researcher (R1) Country

INESC TEC is accepting applications to award 1 Scientific Research Grant - GreenAuto - CRIIS (AE2025-0530)

INESC TEC | Portugal | 8 days ago

requirements: Student currently enrolled in a Bachelor's degree program in Electrical and Computer Engineering, Computer Engineering, Artificial Intelligence, or a graduate in the same fields. The awarding

INESC TEC is accepting applications to award 1 Research Grant for MSC holders - PHASE IV AI - CTM (AE2025-0544)

INESC TEC | Portugal | 4 days ago

funded by the European Commission under the Horizon Europe program for the period 2021-2027. 1. GRANT DESCRIPTION Type of grant: Research Grant (BI) General scientific area: ENGINEERING Scientific subarea

INESC TEC is accepting applications to award 1 Research Grant for MSC holders - AI4LUNGS - CTM (AE2025-0545)

INESC TEC | Portugal | 4 days ago

by the European Commission under the Horizon Europe program for the period 2021-2027. 1. GRANT DESCRIPTION Type of grant: Research Grant (BI) General scientific area: ENGINEERING Scientific subarea

INESC TEC is accepting applications to award 1 Research Grant for MSC holders - EuroCC2 - HASLAB (AE2025-0540)

INESC TEC | Portugal | 7 days ago

21 Nov 2025 Job Information Organisation/Company INESC TEC Research Field Computer science » Informatics Researcher Profile First Stage Researcher (R1) Country Portugal Application Deadline 4 Dec

INESC TEC is accepting applications to award 1 Research Grant for MSC holders - Produtech_R3 - CRIIS (AE2025-0527)

INESC TEC | Portugal | 7 days ago

implemented will be valued. 4. REQUIRED PROFILE: Admission requirements: Master's degree in electrical and computer engineering, computer engineering, bioengineering, or related fields. The awarding