Sort by
Refine Your Search
-
Category
-
Country
-
Field
-
current wording. 3. In accordance with Article 13º of the RJEC, the competition jury is composed as follows: Prof. Margarida Duarte Cerqueira Martins de Araújo (Assistant Professor and Researcher in charge
-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical
Searches related to formal verification
Enter an email to receive alerts for formal-verification "Prof" positions