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

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

INESC TEC | Portugal | 3 months ago

3 Sep 2025 Job Information Organisation/Company INESC TEC Research Field Engineering » Computer engineering Computer science » Programming Researcher Profile First Stage Researcher (R1) Country

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

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

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 Research Grant for Degree holders - ATE - CPES (AE2025-0408)

INESC TEC | Portugal | 3 months ago

5 Sep 2025 Job Information Organisation/Company INESC TEC Research Field Engineering Computer science Mathematics Researcher Profile First Stage Researcher (R1) Country Portugal Application Deadline

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

INESC TEC | Portugal | 3 months ago

developed; - prepare the research grant activity report. ; 4. REQUIRED PROFILE: Admission requirements: B.Sc. in Informatics Engineering or similar The awarding of the fellowship is dependent

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

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

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

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 - Plurianual_25-29 - HASLAB (AE2025-0401)

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 - Plurianual_25-29 - HASLAB (AE2025-0363)

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 18 Sep

INESC TEC is accepting applications to award 1 Scientific Research Grant - SuperIoT - CTM (AE2025-0397)

INESC TEC | Portugal | 3 months ago

requirements: Enrollment in the Licenciatura in Electrical and Computer Engineering or similar area. The awarding of the fellowship is dependent on the applicants' enrolment in study cycle or non-award courses