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

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

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

INESC TEC | Portugal | 3 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 | 3 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 Degree holders - VeriFixer - HASLAB (AE2025-0521)

INESC TEC | Portugal | 8 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 Online Outlier Detection (AE2025-0522)

INESC TEC | Portugal | 8 days ago

21 Nov 2025 Job Information Organisation/Company INESC TEC Research Field Computer science » Programming Computer science » Informatics Researcher Profile First Stage Researcher (R1) Country