32 proof-checking-postdoc-computer-science-logic Fellowship positions at INESC TEC

Sort by: relevance | listed |

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

INESC TEC is accepting applications to award 1 Research Grant for MSC holders - HfPT - CBER (AE2025-0383)

INESC TEC | Portugal | about 1 month ago

26 Aug 2025 Job Information Organisation/Company INESC TEC Research Field Computer science » Computer systems Researcher Profile First Stage Researcher (R1) Country Portugal Application Deadline 10
INESC TEC is accepting applications to award 1 Research Grant for MSC or Degree holders - ATE - CPES (AE2025-0382)

INESC TEC | Portugal | about 1 month ago

Education program. - The proof of enrollment may be presented just during the grant hiring stage. 5. Signed declaration stating the infringement of the grant holder's duties (article 14, no. 4) 6. Documental

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