Sort by
Refine Your Search
-
, nonlinear dynamical systems, robotics, and formal methods to develop principled models and algorithms for distributed decision-making in complex and uncertain environments. Your research The candidate will
-
' button above. This 3.5-year PhD project is fully funded and home students are eligible to apply. The successful candidate will receive an annual tax-free stipend set at the UKRI rate (£20,780 for 2025/26
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions