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

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

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

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

INESC TEC | Portugal | 3 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 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 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 Degree holders - CitiLink - LIAAD (AE2025-0077)

INESC TEC | Portugal | 3 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 accepting applications to award 1 Research Grant for MSC holders - BLOCKCHAINPT - CRACS (AE2025-0117)

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

INESC TEC is accepting applications to award 1 Scientific Research Grant - CitiLink - LIAAD (AE2025-0079)

INESC TEC | Portugal | 3 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 accepting applications to award 1 Research Grant for Degree holders - HfPT - HUMANISE (AE2025-0115)

INESC TEC | Portugal | 2 months ago

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

INESC TEC is accepting applications to award 1 Scientific Research Grant - Plurianual_LA - CESE (AE2025-0098)

INESC TEC | Portugal | 2 months ago

26 Feb 2025 Job Information Organisation/Company INESC TEC Research Field Engineering » Computer engineering Information science Researcher Profile First Stage Researcher (R1) Country Portugal

INESC TEC is accepting applications to award 1 Research Grant for Degree holders - UNIFY - HUMANISE (AE2025-0109)

INESC TEC | Portugal | 2 months ago

26 Feb 2025 Job Information Organisation/Company INESC TEC Research Field Computer science » Informatics Computer science » Digital systems Researcher Profile First Stage Researcher (R1) Country