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 2 months 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

Last updated: May 22, 2024

Reviewed by addoobot team

Post a similar job for FREE

FREE

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

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.

Other positions you may be interested in

Internship Masters Ph.D. PostDoc Research Lecturer Engineer Tenure-Track Tenured Open Rank Asst. Prof. Assoc. Prof. Full Prof. Other

Back to Jobs

0 Comments

Comments are disabled for this post.