1 model-checking PhD positions at INSTITUTO DE ASTROFISICA DE CANARIAS (IAC) RESEARCH DIVISION
Sort by
Refine Your Search
-
at least 300 credits (ETCs) of which at least 60 credits should correspond to an MSc Degree (other ways to fulfil the ULL requirements are possible; see the ULL website for details). The candidates must
Searches related to model checking
Enter an email to receive alerts for model-checking positions