4 software-formal-method-phd Postdoctoral positions at Imperial College London in United Kingdom
-
challenge, making energy-efficient computing a critical research priority. This project addresses this challenge through a novel co-design approach that simultaneously optimizes both hardware and software
-
methods to improve the deployment, adaptation capabilities and safety of robots and critical infrastructures. The developed algorithms will be evaluated on legged robots, wheel-based robots and under
-
methods and analytical tools in Africa and Asia. Our protocols and software will be available to the community to allow wider testing and sustained implementation. A critical part of WaSPP research agenda
-
/ ). This position will be fully funded until March 2028. For further information on Dr Edward Johns’ research and projects, see www.robot-learning.uk . You will be assisting PhD students and a post-doc in developing