1 formal-verification PhD positions at INESC ID

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for formal-verification positions

Public notice for one research grant Refª BI|2025/785 Project Livranças Digitais2 (I3PR004035) - funded by INESC ID Application submission from 24-Oct to 07-Nov-2025

INESC ID | Portugal | 7 days ago

candidates will be notified by email of the final ranking list. After being notified, all candidates have 10 working days to submit a formal rebuttal. After that period, the evaluation panel notifies

Searches related to formal verification

Enter an email to receive alerts for formal-verification positions