57 formal-verification-computer-science Fellowship positions at INESC TEC

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

INESC TEC | Portugal | about 1 month 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 Degree holders - CDMS - HASLAB (AE2025-0594)

INESC TEC | Portugal | 24 minutes 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 MSC or Degree holders - ATE - CPES (AE2025-0601)

INESC TEC | Portugal | 25 minutes 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

INESC TEC is accepting applications to award 1 Research Grant for Degree holders - DARE - HUMANISE (AE2025-0575)

INESC TEC | Portugal | 10 days ago

13 Dec 2025 Job Information Organisation/Company INESC TEC Research Field Computer science » Informatics Computer science » Digital systems Researcher Profile First Stage Researcher (R1) Country

INESC TEC is accepting applications to award 2 Research Grant for MSC holders - ImmersiveSGS - HUMANISE (AE2025-0529)

INESC TEC | Portugal | 5 days ago

18 Dec 2025 Job Information Organisation/Company INESC TEC Research Field Computer science Researcher Profile First Stage Researcher (R1) Country Portugal Application Deadline 2 Jan 2026 - 23:59

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

INESC TEC | Portugal | 23 minutes 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 or Degree holders - ATE - CPES (AE2025-0599)

INESC TEC | Portugal | 24 minutes ago

24 Dec 2025 Job Information Organisation/Company INESC TEC Research Field Engineering » Electrical engineering Engineering » Industrial engineering Researcher Profile First Stage Researcher (R1

INESC TEC is accepting applications to award 1 Research Grant for Degree holders - DARE - HUMANISE (AE2025-0574)

INESC TEC | Portugal | 10 days ago

13 Dec 2025 Job Information Organisation/Company INESC TEC Research Field Computer science » Informatics Computer science » Digital systems Researcher Profile First Stage Researcher (R1) Country

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

INESC TEC | Portugal | 23 minutes ago

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: Electrical

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

INESC TEC | Portugal | 27 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