Sort by
Refine Your Search
-
' 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
-
interactions among neighbouring agents and their environments. The research will exploit an interdisciplinary approach that combines control theory, nonlinear dynamical systems, robotics, and formal methods
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions