89 proof-checking-postdoc-computer-science-logic positions at INESC TEC

INESC TEC is accepting applications for 1 job(s) in the Computer Science (AE2025-0538)

INESC TEC | Portugal | 14 days 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 for 1 job(s) in the Computer Engineering (AE2025-0467)

INESC TEC | Portugal | about 2 months ago

9 Oct 2025 Job Information Organisation/Company INESC TEC Research Field Engineering » Computer engineering Researcher Profile First Stage Researcher (R1) Country Portugal Application Deadline 22

INESC TEC is accepting applications for 1 job(s) in the Development of web and mobile applications in the field of biomedical engineering for human monitoring (AE2025-0536)

INESC TEC | Portugal | 14 days ago

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

INESC TEC is acception applications to recruit 1 Doctorate in the field of Area of Computing for Embedded and Cyber-Physical Systems (AE2025-0533)

INESC TEC | Portugal | 14 days ago

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

JOB ADVERTISEMENT Hiring of 1 (one) Assistant Researcher in the Area of Computing for Embedded and Cyber-Physical Systems

INESC TEC | Portugal | 14 days ago

21 Nov 2025 Job Information Organisation/Company INESC TEC Research Field Engineering » Computer engineering Researcher Profile Other Profession Positions PhD Positions Country Portugal Application

INESC TEC is acception applications to recruit 1 Doctorate in the field of Physical or Electrical Engineering (AE2025-0438)

INESC TEC | Portugal | 2 months ago

/pt/AE2025-0438.pdf JOB ADVERTISEMENT Recruitment of 1 Doctorate in the field of Physical or Electrical Engineering INESC TEC - Institute for Systems and Computer Engineering, Technology and Science, a

INESC TEC is accepting applications to award 1 Scientific Research Grant - AEROSUB - CRAS (AE2025-0570)

INESC TEC | Portugal | 4 days ago

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

INESC TEC is accepting applications to award 4 Research Grant for Degree holders - ATE - CITE (AE2025-0560)

INESC TEC | Portugal | 4 days ago

to support the valorization of technology and its exploration and commercialization. 3. BRIEF PRESENTATION OF THE WORK PROGRAMME AND TRAINING: - Collaborate in the implementation of open innovation campaigns

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

INESC TEC | Portugal | 4 days ago

PROFILE: Admission 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

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

INESC TEC | Portugal | 4 days ago

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