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

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

INESC TEC | Portugal | 1 day ago

2 Oct 2025 Job Information Organisation/Company INESC TEC Research Field Engineering » Computer engineering Engineering » Electrical engineering Mathematics » Applied mathematics Computer science

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

INESC TEC | Portugal | 1 day ago

2 Oct 2025 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 Scientific Research Grant - CentrosTecnInov - HUMANISE (AE2025-0424)

INESC TEC | Portugal | 17 days ago

17 Sep 2025 Job Information Organisation/Company INESC TEC Research Field Computer science » Informatics Researcher Profile First Stage Researcher (R1) Country Portugal Application Deadline 1 Oct

INESC TEC is accepting applications to award 1 Research Grant for Degree holders - Plurianual_25-29 - CRACS (AE2025-0422)

INESC TEC | Portugal | 17 days ago

17 Sep 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 Research Grant for MSC holders - GATE - CBER (AE2025-0388)

INESC TEC | Portugal | about 1 month ago

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

INESC TEC is accepting applications to award 1 Scientific Research Grant - DisaggregatedHPC - HASLAB (AE2025-0377)

INESC TEC | Portugal | about 1 month ago

3 Sep 2025 Job Information Organisation/Company INESC TEC Research Field Computer science » Informatics Researcher Profile First Stage Researcher (R1) Country Portugal Application Deadline 17 Sep

INESC TEC is accepting applications to award 1 Scientific Research Grant - DisaggregatedHPC - HASLAB (AE2025-0378)

INESC TEC | Portugal | about 1 month ago

3 Sep 2025 Job Information Organisation/Company INESC TEC Research Field Computer science » Informatics Researcher Profile First Stage Researcher (R1) Country Portugal Application Deadline 17 Sep

[Correction] INESC TEC is accepting applications to award 1 Research Grant for Degree holders - EnSafe - LIAAD (AE2025-0089)

INESC TEC | Portugal | about 1 month ago

3 Sep 2025 Job Information Organisation/Company INESC TEC Research Field Computer science » Programming Computer science » Computer systems Computer science » Informatics Researcher Profile First

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

INESC TEC | Portugal | about 1 month ago

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

INESC TEC is accepting applications to award 1 Research Grant for MSC holders - GREENSHIP_E - CPES (AE2025-0428)

INESC TEC | Portugal | 17 days ago

Education program. - The proof of enrollment may be presented just during the grant hiring stage. 5. Signed declaration stating the infringement of the grant holder's duties (article 14, no. 4) 6. Documental