68 proof-checking-postdoc-computer-science-logic positions at INESC TEC in Portugal

INESC TEC is acception applications to recruit 1 Doctorate in the field of Computer Science (Privacy enhancing technologies - PET ) (AE2025-0059)

INESC TEC | Portugal | about 2 months ago

, particularly in the area of; Computer Science (privacy protection technologies).; ; - Research into PET protocols, implementations and proofs; - Research into computer-assisted cryptography tools; - Contributing

Hiring of 1 (one) Assistant Researcher in the Area of Computer Science and Engineering (ae2024-0571)

INESC TEC | Portugal | 3 months ago

3 Feb 2025 Job Information Organisation/Company INESC TEC Department HASLAB Research Field Engineering » Computer engineering Researcher Profile First Stage Researcher (R1) Positions PhD Positions

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

INESC TEC | Portugal | 2 months ago

18 Feb 2025 Job Information Organisation/Company INESC TEC Research Field Computer science » Programming Computer science » Computer systems Computer science » Database management Computer science

INESC TEC is acception applications to recruit 1 Doctorate in the field of Computer Science (Hyperscale systems) (AE2024-0571)

INESC TEC | Portugal | 3 months ago

5 Feb 2025 Job Information Organisation/Company INESC TEC Research Field Computer science Researcher Profile First Stage Researcher (R1) Country Portugal Application Deadline 17 Feb 2025 - 23:59

INESC TEC is accepting applications for 1 job(s) in the Computer Science - Smart Power Grids (AE2025-0065)

INESC TEC | Portugal | 3 months ago

: RESEARCHER City: Porto Research field: Main: ENGINEERING Sub: Electrical engineering Job summary: INESC TEC is accepting applications for 1 RESEARCHER job in the Computer Science - Smart Power Grids Project

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

INESC TEC | Portugal | about 2 months ago

: - Science and Technology Management (Msc and or PhD in Mechanical Engineering, Electrotecnical Enginering, Physics, Chemistry, Mathematical and Computational Sciences or related areas). ; Minimum profile

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

INESC TEC | Portugal | 3 months ago

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

INESC TEC is accepting applications for 1 job(s) in the Electrical Engineering with experience in power systems (AE2025-0067)

INESC TEC | Portugal | 3 months ago

6 Feb 2025 Job Information Organisation/Company INESC TEC Research Field Engineering » Electrical engineering Researcher Profile First Stage Researcher (R1) Country Portugal Application Deadline 19

INESC TEC is accepting applications to award 2 Scientific Research Grant - Plurianual_LA - CBER (AE2025-0136)

INESC TEC | Portugal | about 2 months ago

13 Mar 2025 Job Information Organisation/Company INESC TEC Research Field Engineering » Computer engineering Engineering » Electrical engineering Mathematics » Algorithms Researcher Profile First

INESC TEC is accepting applications to award 1 Research Grant for MSC holders - BLOCKCHAINPT - CRACS (AE2025-0117)

INESC TEC | Portugal | about 2 months ago

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