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

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

INESC TEC | Portugal | about 2 months 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 Research Grant for MSC holders - ATE - CPES (AE2025-0460)

INESC TEC | Portugal | about 2 months ago

degree awarding Higher 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

INESC TEC is accepting applications to award 2 Scientific Research Grant - CentrosTecnInov - HUMANISE (AE2025-0424)

INESC TEC | Portugal | 2 months 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 | 2 months 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 | 3 months 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 - HfPT - CAP (AE2025-0440)

INESC TEC | Portugal | about 2 months ago

Education program. - The proof of enrollment may be presented just during the grant hiring stage. 5. Signed declaration stating not having benefited from any other research fellowship (Article 5, no. 5) 6

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

INESC TEC | Portugal | 3 months 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 | 3 months 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 | 3 months 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 | 3 months 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