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

Filters Search

Sort by

listed

Filtered by
INESC TEC
proof-checking-postdoc-computer-science-logic
Remove All

Refine Your Search

Category
- Scholarship 53
- Uni Job 17
Country
- Portugal 68
- Belgium 2
Program
- Fellowship 45
- Postdoctoral 3
- Master 2
Field
- Economics 32
- Computer Science 16
- Materials Science 7
- Science 7
- Electrical Engineering 2
- Engineering 2
- Chemistry 1
- Linguistics 1

Sort by: relevance | listed |

Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions

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

Searches related to proof checking postdoc computer science logic

Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions

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

Sort by

Filtered by

Refine Your Search

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

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

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

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

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

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

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

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

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

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

Searches related to proof checking postdoc computer science logic