Research Associate in Formal Verification for Robot Collectives

CRADLE, the "Centre for Robotic Autonomy in Demanding and Long-lasting Environments" is an industry and academic partnership that aims to solve challenges that have limited the development, implementation, and adoption of robotics across industry sectors, particularly where the environment is complex and there is a likelihood of human interaction. CRADLE is a significant research partnership between the Manchester Centre for Robotics and AI, Jacobs Solutions, and the UKRI.

As part of CRADLE, we are looking for a strong researcher able to conduct research around formal verification for robots collectives specifically around human robot teams, robot teams and robot swarms. The candidate should have a background of excellent research in Formal Verification, Logics, Formal Methods or Software Engineering Principles as applied to robotics and autonomous systems. The overall research programme aims to develop a body of cross-cutting research across the field of Robotics and we are therefore seeking candidates who show willingness and aptitude for collaborating closely with the wider research team which includes Assurance, Architectures, Robotics and Human Interaction researchers as well as Engineers from Jacobs. The successful candidate will contribute to the wider joint research programme to tackle these interrelated challenges and will be expected to undertake research within the Autonomy and Verification network.

What you will get in return:

• Fantastic market leading Pension scheme
• Excellent employee health and wellbeing services including an Employee Assistance Programme
• Exceptional starting annual leave entitlement, plus bank holidays
• Additional paid closure over the Christmas period
• Local and national discounts at a range of major retailers

As an equal opportunities employer we welcome applicants from all sections of the community regardless of age, sex, gender (or gender identity), ethnicity, disability, sexual orientation and transgender status.  All appointments are made on merit.

Our University is positive about flexible working – you can find out more here

Hybrid working arrangements may be considered.

Please note that we are unable to respond to enquiries, accept CVs or applications from Recruitment Agencies.

Any recruitment enquiries from recruitment agencies should be directed to [email protected] . Any CV’s submitted by a recruitment agency will be considered a gift.

Enquiries about the vacancy, shortlisting and interviews:

Name: Clare Dixon or Michael Fisher 

Email: [email protected]  / [email protected] 

General enquiries:

Email: [email protected]

Technical support:

https://jobseekersupport.jobtrain.co.uk/support/home

This vacancy will close for applications at midnight on the closing date.