-
memory models. SCIENTIFIC SUPERVISION The work will be supervised by Prof. Susana Cardoso de Freitas. The employees will be integrated into the INESC-MN team in Oeiras and Lisboa. ELIGIBILITY CONDITIONS
-
the status of public interest institution is opening a call for 1 (one) position. The position correspond to a BI grant, to be developed within the scope of the project UNLOOC, with the refª 101140192 funded
Searches related to model checking
Enter an email to receive alerts for model-checking positions