Sort by
Refine Your Search
-
Laia Mayol (Associate Professor, UPF). Their area of specialisation will be formal semantics and pragmatics, and they will seek to develop skills in experimental methods. The PhD contract is fully funded
-
should be formalized through this present general call with the corresponding selection process applicable). If you are interested in discussing possible research topics, please contact ICFO Group Leaders
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions