All images/graphics may be copyrighted and property of the author, creator and/or University of Manchester.

Post-Doc: FORMAL VERIFICATION FOR ROBOT COLLECTIVES

University of Manchester

Position in Robotics   -   Posted 1¬†month ago     (Closing on June 4, 2024 - This job posting may be closed!)


Country: United Kingdom

Employment Type: Full-time, Fixed-term

36024 GBP – 44263 GBP (yearly)


Key Points:

Post-Doctoral Research Associate in FORMAL VERIFICATION FOR ROBOT COLLECTIVES

CRADLE partnership, Autonomy & Verification Group, Department of Comp. Science

Human robot teams, robot teams and robot swarms

Background of excellent research in Formal Verification, Logics, Formal Methods

or Software Engineering as applied to robotics and autonomous systems

Please visit the official website for more accurate, up-to-date, and complete information on this post. Visit website   External Link Icon

Disclaimer: For informational purposes only. The provided data and/or content are intended as references and may contain errors. We appreciate your help in maintaining accuracy; if you spot any errors, please notify us. For the most reliable and up-to-date information, kindly refer to the official website. By using addoobot and its contents and services, you agree to our Terms and Conditions, Privacy Policy, and Cookie Policy.


 0 Comments

Comments are disabled for this post.