of CRADLE, we are looking for a strong researcher able to conduct research around formal verification for robots collectives... in Formal Verification, Logics, Formal Methods or Software Engineering Principles as applied to robotics and autonomous...
University of Manchesterof CRADLE, we are looking for a strong researcher able to conduct research around formal verification for robots collectives... in Formal Verification, Logics, Formal Methods or Software Engineering Principles as applied to robotics and autonomous...
University of Manchester