[Event at CIG] PDRA in Formal Verification for Robot Collectives, University of Manchester

[Michael Fisher]

-----------------------------------------------------------------------------
              [ Please pass this on to your colleagues ]
_____________________________________________________________________________


Post-Doctoral Research Associate in FORMAL VERIFICATION FOR ROBOT 
COLLECTIVES

              [ Grade 6; Fixed-term for 36 months ]

        CRADLE partnership, Autonomy and Verification Group
    Department of Computer Science, University of Manchester, UK
                 https://cradlerobotics.co.uk

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 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 a
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.


   Manchester Centre for Robotics & AI https://www.robotics.manchester.ac.uk
   Jacobs Solutions                     https://www.jacobs.com
   UK Research and Innovation           https://www.ukri.org
   Autonomy and Verification Network 
https://autonomy-and-verification.github.io


VACANCY REF: SAE-025418  [ Grade 6 ]
Salary: £36,024-£44,263 per annum, depending on relevant experience
Duration:     Fixed Term, for 36 months
Location:     CRADLE Lab, School of Engineering, Manchester
Apply: https://www.jobs.manchester.ac.uk/Job/JobDetail?JobId=28882
Closing date: 04/06/2024

_____________________________________________________________________________