-
(coordination) and safety constraints can be intractable. Your work will bridge this gap by providing generalizable, provable design approach that apply across a wide range of networked systems. This 3.5-year PhD
-
Research theme: Formal Methods How many positions: 1 This 3.5 year PhD is funded by the Department of Computer Science at The University of Manchester. The successful candidate will receive
-
Artificial Intelligence for Net Zero Centre (RAINZ) which is a partnership between three of the UKs leading universities (The University of Manchester , University of Glasgow and University of Oxford
-
PhD Studentship: Multi-robot Cyber-physical Systems for Solar Farm Health Monitoring and Maintenance
universities (The University of Manchester , University of Glasgow and University of Oxford ). Robotics and Autonomous Systems (RAS) is an essential enabling technology for the Net Zero transition in the UK’s
-
Artificial Intelligence for Net Zero Centre (RAINZ) which is a partnership between three of the UKs leading universities (The University of Manchester , University of Glasgow and University of Oxford