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
-
the public engagement of science, and the translation of research findings into improvements in health care. • To assist in the training of PhD students and other members of the LMB. Key responsibilities
-
(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
-
statistically reliable AI, with applications to engineering. The research will focus on the design of formal reliability guarantees for black-box AI models operating under highly non-deterministic and context
-
, 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