34 software-verification-computer-science-"Prof" positions at INESC TEC

INESC TEC is accepting applications to award 1 Scientific Research Grant - Plurianual_25-29 - HASLAB (AE2025-0363)

INESC TEC | Portugal | 2 days 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 18 Sep

INESC TEC is accepting applications to award 1 Research Grant for Degree holders - CONVERGE - CTM (AE2025-0396)

INESC TEC | Portugal | 2 days 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 Scientific Research Grant - DisaggregatedHPC - HASLAB (AE2025-0377)

INESC TEC | Portugal | 2 days 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 | 2 days ago

Software Engineering which are usually introduced in curricular units included in the curricula of the Integrated MSc in Informatics Engineering or the MSc in Informatics Engineering studies. 4. REQUIRED

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

INESC TEC | Portugal | 2 days ago

3 Sep 2025 Job Information Organisation/Company INESC TEC Research Field Engineering » Electrical engineering Researcher Profile First Stage Researcher (R1) Country Portugal Application Deadline 26

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

INESC TEC | Portugal | 10 days ago

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

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

INESC TEC | Portugal | 10 days ago

26 Aug 2025 Job Information Organisation/Company INESC TEC Research Field Engineering » Electrical engineering Researcher Profile First Stage Researcher (R1) Country Portugal Application Deadline 11

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

INESC TEC | Portugal | 2 days 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 Research Grant for MSC holders - AI4REALNET - CBER (AE2025-0389)

INESC TEC | Portugal | 2 days 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 Degree holders - AI_RBD - CTM (AE2025-0381)

INESC TEC | Portugal | 8 days ago

presentations for conferences, and supporting the preparation of technical reports.; 4. REQUIRED PROFILE: Admission requirements: Students in Bioengineering, Computer and Computer Engineering, Electrical and