64 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 | 29 days 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 | 3 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 for 1 job(s) in the Data Management and Governance in Digital platforms. (AE2025-0486)

INESC TEC | Portugal | 3 days ago

5 Nov 2025 Job Information Organisation/Company INESC TEC Research Field Engineering » Knowledge engineering Information science Researcher Profile First Stage Researcher (R1) Country Portugal

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

INESC TEC | Portugal | 3 days ago

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

CALL FOR APPLICATIONS — R&D&I Project Manager (AE2025-0360)

INESC TEC | Portugal | 2 months ago

for new projects. Minimmum requirements and qualifications: MSc and or PhD in Mechanical Engineering, Electrotechnical Engineering, Physics, Chemistry, Mathematical and Computational Sciences or related

INESC TEC is accepting applications to award 1 Research Grant for MSC holders - PHASE IV AI - CTM (AE2025-0496)

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