-
awarded to students who are enrolled in non-award courses, or up to four years, in the cases of students enrolled in a PhD. Scientific advisor: Tânia Esteves Workplace: INESC TEC, Braga , Portugal
-
-scaling architectures; - identify and select methods for researching, developing and validating the target topics; - develop research and prototypes using complex real-world architectures as case studies
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions