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

INESC TEC is accepting applications to award 1 Scientific Research Grant - Plurianual_25-29 - HUMANISE (AE2026-0057)

INESC TEC | Portugal | about 4 hours ago

27 Feb 2026 Job Information Organisation/Company INESC TEC Research Field Computer science » Informatics Researcher Profile First Stage Researcher (R1) Application Deadline 12 Mar 2026 - 23:59 (UTC

INESC TEC is accepting applications to award 1 Research Grant for MSC holders - Plurianual_25-29 - HASLAB (AE2026-0054)

INESC TEC | Portugal | 4 days ago

25 Feb 2026 Job Information Organisation/Company INESC TEC Research Field Computer science » Informatics Researcher Profile First Stage Researcher (R1) Application Deadline 11 Mar 2026 - 23:59 (UTC

INESC TEC is accepting applications to award 1 Research Grant for Degree holders - Plurianual_25-29 - HUMANISE (AE2026-0036)

INESC TEC | Portugal | 19 days ago

11 Feb 2026 Job Information Organisation/Company INESC TEC Research Field Computer science » Informatics Researcher Profile First Stage Researcher (R1) Application Deadline 26 Feb 2026 - 23:59 (UTC

INESC TEC is accepting applications to award 1 Research Grant for MSC holders - Plurianual_LA - CBER (AE2026-0039)

INESC TEC | Portugal | 19 days ago

11 Feb 2026 Job Information Organisation/Company INESC TEC Research Field Computer science » Computer systems Researcher Profile First Stage Researcher (R1) Application Deadline 25 Feb 2026 - 23:59

INESC TEC is accepting applications to award 1 Research Grant for Degree holders - CDMS - HASLAB (AE2025-0594)

INESC TEC | Portugal | 2 months ago

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

INESC TEC is accepting applications to award 1 Research Grant for Degree holders - CardioComplete - LIAAD (AE2025-0608)

INESC TEC | Portugal | about 2 months ago

6 Jan 2026 Job Information Organisation/Company INESC TEC Research Field Computer science » Programming Computer science » Informatics Researcher Profile First Stage Researcher (R1) Country Portugal

INESC TEC is accepting applications to award 1 Research Grant for Degree holders - VeriFixer - HASLAB (AE2025-0609)

INESC TEC | Portugal | about 2 months ago

6 Jan 2026 Job Information Organisation/Company INESC TEC Research Field Computer science » Programming Computer science » Informatics Researcher Profile First Stage Researcher (R1) Country Portugal

INESC TEC is accepting applications to award 2 Research Grant for MSC or Degree holders - ATE - CPES (AE2026-0001)

INESC TEC | Portugal | about 2 months ago

degree awarding study cycle or in a non degree awarding Higher Education program. - The proof of enrollment may be presented just during the grant hiring stage. 5. Signed declaration stating

INESC TEC is accepting applications to award 1 Research Grant for MSC holders - OCEAN_FCT - HUMANISE (AE2025-0414)

INESC TEC | Portugal | about 2 months ago

4 Jan 2026 Job Information Organisation/Company INESC TEC Research Field Computer science » Informatics Environmental science Researcher Profile First Stage Researcher (R1) Country Portugal

INESC TEC is accepting applications to award 1 Research Grant for MSC or Degree holders - ATE - CPES (AE2025-0601)

INESC TEC | Portugal | 2 months ago

24 Dec 2025 Job Information Organisation/Company INESC TEC Research Field Engineering » Electrical engineering Computer science » Informatics Researcher Profile First Stage Researcher (R1) Country