105 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

Listed
- Last-3-days 1
- Last-7-days 15
- Last-30-days 38
Category
- Scholarship 88
- Uni Job 16
- Research Job 1
Program
- Fellowship 67
- Postdoctoral 3
- Master 2
- Undergraduate 2
Field
- Computer Science 34
- Economics 30
- Materials Science 18
- Science 13
- Engineering 7
- Electrical Engineering 1
- Humanities 1
- Medical Sciences 1

Sort by: relevance | listed |

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

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

INESC TEC | Portugal | 7 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 | 7 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 | 7 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 to award 1 Research Grant for MSC holders - DFence - CESE (AE2025-0553)

INESC TEC | Portugal | 5 days ago

26 Nov 2025 Job Information Organisation/Company INESC TEC Research Field Engineering » Computer engineering Researcher Profile First Stage Researcher (R1) Country Portugal Application Deadline 12
INESC TEC is accepting applications to award 1 Research Grant for MSC holders - DFence - CESE (AE2025-0552)

INESC TEC | Portugal | 5 days ago

26 Nov 2025 Job Information Organisation/Company INESC TEC Research Field Engineering » Computer engineering Researcher Profile First Stage Researcher (R1) Country Portugal Application Deadline 12
INESC TEC is accepting applications to award 1 Scientific Research Grant - iBot4CRMs - CRIIS (AE2025-0556)

INESC TEC | Portugal | 5 days ago

requirements: Enrollment in a Bachelor's degree program in Electrical and Computer Engineering or related fields. The awarding of the fellowship is dependent on the applicants' enrolment in study cycle or non
INESC TEC is accepting applications to award 1 Research Grant for MSC holders - ADAPQO - HASLAB (AE2025-0549)

INESC TEC | Portugal | 5 days ago

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

Searches related to proof checking postdoc computer science logic

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

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

Sort by

Filtered by

Refine Your Search

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

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

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 is acception applications to recruit 1 Doctorate in the field of Area of Computing for Embedded and Cyber-Physical Systems (AE2025-0533)

JOB ADVERTISEMENT Hiring of 1 (one) Assistant Researcher in the Area of Computing for Embedded and Cyber-Physical Systems

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

INESC TEC is accepting applications to award 1 Research Grant for MSC holders - DFence - CESE (AE2025-0553)

INESC TEC is accepting applications to award 1 Research Grant for MSC holders - DFence - CESE (AE2025-0552)

INESC TEC is accepting applications to award 1 Scientific Research Grant - iBot4CRMs - CRIIS (AE2025-0556)

INESC TEC is accepting applications to award 1 Research Grant for MSC holders - ADAPQO - HASLAB (AE2025-0549)

Searches related to proof checking postdoc computer science logic