74 formal-verification-computer-science positions at INESC TEC

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

INESC TEC | Portugal | about 1 month 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 acception applications to recruit 1 Doctorate in the field of Physical or Electrical Engineering (AE2025-0438)

INESC TEC | Portugal | about 1 month 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 for 1 job(s) in the Software Engineering and API Development for Power Systems (AE2025-0393)

INESC TEC | Portugal | 2 months ago

3 Sep 2025 Job Information Organisation/Company INESC TEC Research Field Computer science » Informatics Engineering » Electrical engineering Mathematics » Applied mathematics Researcher Profile

INESC TEC is accepting applications for 1 job(s) in the Engineering Project / Management (AE2025-0360)

INESC TEC | Portugal | 2 months ago

in Mechanical Engineering, Electrotecnical Enginering, Physics, Chemistry, Mathematical and Computational Sciences or related areas). Minimum profile required: - The candidates should also have an

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

INESC TEC | Portugal | 11 days ago

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

CALL FOR APPLICATIONS — Technical Staff (AE2025-0393)

INESC TEC | Portugal | 2 months ago

://repositorio.inesctec.pt/editais/pt/AE2025-0393.pdf CALL FOR APPLICATIONS — Technical Staff Job reference: AE2025-0393 (CPES-Geral - CPES) Institution: INESC TEC – Institute for Systems and Computer Engineering, Technology

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

INESC TEC | Portugal | 2 days ago

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

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

INESC TEC | Portugal | 2 days ago

13 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 - DisaggregatedHPC - HASLAB (AE2025-0520)

INESC TEC | Portugal | 2 days ago

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

INESC TEC is accepting applications for 1 job(s) in the Robotics and automation for weeding and selective harvesting. (AE2025-0511)

INESC TEC | Portugal | 2 days ago

validation in a real-world context. Academic Qualifications: Master's degree in Electrical and Computer Engineering Minimum profile required: 2 scientific publications in indexed journals Preference factors