Sort by
Refine Your Search
-
in theory of probability and statistics, machine learning, or formal methods. The post is available from 2 March 2026 until 1 March 2028. If you are still awaiting your PhD to be awarded you will be
-
initiative to develop novel approaches and methods where required. To ensure the research is carried out in accordance with good practice and in compliance with local policies and legal requirements
-
(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