-
(model-based) systems engineering, whilst applying systems analysis techniques based on formal methods, AI, and optimisation and will be expected to submit publications to top-tier conferences and journals
-
, develop new research methods and extend the research portfolio. To deal with problems that may affect the achievement of research objectives and deadlines by discussing with Dr. Zhuangkun Wei and Prof
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions in Uk