Research Associate in Formal Verification for Robot Collectives

2 weeks ago


Manchester, United Kingdom The University of Manchester Full time

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

  • Manchester, United Kingdom The University of Manchester Full time

    Two Research Fellows in Robotics / Human Robot Interaction are required for a period of 12 months each to work on the UKRI/EPSRC project “Trustworthy Autonomous Systems Node on Trust”. This is a collaborative project of the University of Manchester’s Cognitive Robotics Lab with Heriot-Watt University Edinburgh and Imperial College London. The research...

  • Systems IP

    1 month ago


    Manchester, United Kingdom Arm Limited Full time

    This position is an excellent opportunity for an experienced and highly motivated verification engineer to join the hardworking System IP team! This is a fast-paced technical role employing the latest hardware design and verification methodologies to develop complex and highly configurable hardware IP that sit at the heart of Arm-based Systems! This role is...

  • Systems IP

    6 days ago


    Manchester, United Kingdom ARM Full time

    This position is an excellent opportunity for an experienced and highly motivated verification engineer to join the hardworking System IP team! This is a fast-paced technical role employing the latest hardware design and verification methodologies to develop complex and highly configurable hardware IP that sit at the heart of Arm-based Systems!  This role...

  • Research Associate

    1 month ago


    Manchester, United Kingdom Manchester Metropolitan University Full time

    **About the team**: This post is for a Research Associate (0.5FTE) who will be based in the Department of Social Care and Social Work at Manchester Metropolitan University and will be a member of the Learning Disability and Autism Research Cluster. The Research Associate will take a key role in the delivery of the research project: _‘Digital Health...


  • Manchester, United Kingdom Urbandesignlab Full time

    Research Associate or Fellow | The University of Manchester Organisation:The University of Manchester, Faculty of Humanities, School of Social Sciences Last date to Apply: 20/02/2024 Job Fields and Important Details Fields Description Position Research Associate or Fellow Organisation The University of Manchester, Faculty of Humanities, School of...

  • Verification Engineer

    3 weeks ago


    Manchester Area, United Kingdom European Recruitment Full time

    CPU Verification Engineer - Cutting Edge - Global Leader - Reputable Semiconductor Company Would you like to work at one of the most cutting edge leading semiconductor companies globally? I'm currently on the lookout for multiple Verification Engineers to work within the CPU team at various seniority levels, depending on experience. In this role you will...


  • Manchester, United Kingdom The University of Manchester Full time

    Research theme: Robotics and AIThis 4 year PhD is funded by EPSRC funded by The University of Manchester and Jacobs as their support to the EPSRC-funded Prosperity Partnership (CRADLE: Centre for Robotic Autonomy in Demanding and Long-lasting Environments).Fully funded for UK home students, but only partial funding is available for overseas students....

  • Research Associate

    1 month ago


    Manchester, United Kingdom Manchester Metropolitan University Full time

    Corneal opacity is a leading cause of blindness and visual impairment affecting about 6 million of the world population. The most significant cause of corneal opacity is infectious keratitis, which is an eye infection that leads to an ulcer forming on the cornea. Around 1.5 to 2 million people per year globally develop unilateral blindness caused by...

  • Research Associate

    4 weeks ago


    Manchester, United Kingdom Manchester Metropolitan University Full time

    The Research Associate role will be located in the School of Education based in the Brooks Building on our Manchester campus within the Faculty of Health and Education. The Faculty of Health and Education is a vibrant place to work with teaching and research activity in Education, Health, Psychology and Social Work / Social Care disciplines. The School...


  • Manchester, United Kingdom Kwest Research Full time

    Kwest Research is a social research organisation based in Didsbury, Manchester, and as our workload has increased we need to recruit more graduate interviewers. Our recruitment processes are rapid and we aim for new staff to start work within 2 weeks of sending us their CVs. We specialise in consultation within the social housing sector and our clients...


  • Manchester, United Kingdom The University of Manchester Full time

    Applications are invited for an outstanding Postdoctoral Research Associate to work on a Natural Environment Research Council (NERC) funded project on “Debris-flow dynamics: Understanding phase separation and wave formation”. The post is part of an international team of researchers studying the spontaneous formation of waves in debris flows. Waves vastly...


  • Manchester, United Kingdom The University of Manchester Full time

    The MOJO and the Soteria projects are UK Research and Innovation funded collaboration between THG plc (THG), the University of Manchester and the University of Oxford. The overall purpose is to investigate how to improve the security of the Hotspot JVM and managed languages in general by taking advantage of the Arm Morello architecture. Thus, the job...

  • Collections Agent

    3 weeks ago


    Manchester, United Kingdom Jobs for Humanity Full time

    Job Description Position Type : Full time Type Of Hire : Experienced (relevant combo of work and education) Education Desired : No Degree Travel Percentage : 0%Location: Manchester City Centre Office – Hybrid Working option available Are you ready to unleash your full potential?  We’re looking for people who are passionate about payments to chart...


  • Manchester, United Kingdom Careers In Group Full time

    **Are you a qualified, or nearly qualified ACA/ACCA**accountant looking for a new challenge?We are recruiting on behalf of a dynamic, Top 20 accountancy practice for an **Audit Associate/Senior Associate**to join the firm’s Corporate Audit Team at its office in Manchester. This role will predominantly focus on audit with an approximate split being 80/20...


  • Greater Manchester, United Kingdom European Recruitment Full time

    Job Description Verification Engineer – CPU /UVM We are partnered up with a well-established Semiconductor organisation who are the leading technology provider of processor IP who are looking for Senior Verification Engineer to join their team in Bristol United Kingdom. If this is you please continue reading below! Responsibilities: CPU project...

  • Collections Associate

    1 month ago


    Manchester, United Kingdom Howarth Morris Full time

    This FULLY REMOTE position offers great business to business exposure within a global leader of real estate services and software solutions. This is a great opportunity for strong communicators looking for a professional platform to develop their career! **Key Responsibilities** - Recover outstanding debt and monitor age debt, in adherence with approved...


  • Manchester, United Kingdom Manchester Metropolitan University Full time

    **About the Department** Our Faculty of Science and Engineering offers a world-class teaching environment covering undergraduate and postgraduate programmes. With genuine trailblazing specialisms, our research has real-world impact and cultivates lasting relationships with businesses, the government, sports organisations and the general public to share our...


  • Manchester, United Kingdom Digital Preservation Coalition Full time

    Vacancy for Christian Brethren Archive Curator at University of Manchester - Digital Preservation Coalition About the Digital Preservation Coalition Policies News News Digital Preservation Digital Preservation What is digital preservation? Get help with your digital preservation Digital Preservation Handbook Digital Preservation for Small...

  • Research Associate

    2 weeks ago


    Middleton, Greater Manchester, United Kingdom Nova Scotia Community College Full time

    Research Associate (CS7) Education Department of Applied Research Term Full-time Position : Commencing approximately June 1,2024(flexible start date - but must start by early September 2024, and ending approximately May 31, 2026) The minimum educational qualification is a diploma, advanced diploma, or degree in a related field or discipline specific...

  • Research Associate

    1 month ago


    Manchester, United Kingdom Manchester Metropolitan University Full time

    We are looking for a Research Associate to work on a UK evaluation of a social investment programme addressing housing and homelessness. The evaluation is a large, multi-method project involving several research partners. - Social investment and/or housing and homelessness - Qualitative research methods - Evaluation, particularly implementation evaluation...