Home / Jobs / Research Fellow in Formal Methods for Robotics and AI Safety - School of Computer Science - 107478 - Grade 7
Posted:
June 16, 2026
Location:
United Kingdom, United Kingdom, United Kingdom

Job Description

Summary

The post-holder will conduct research on formal verification, safe control, and logical reasoning techniques for autonomous robotic systems. The role will involve development of novel mathematical and computational methods for safety assurance of AI-enabled cyber-physical systems, including multi-robot systems operating in dynamic environments.

  • Work within specified research grants and projects and contribute to writing bids 
  • Operate within area of specialism
  • Analyse and interpret research findings and results 
  • Contribute to generating funding 
  • Contribute to licensing or spin out deals with demonstrated commercial success (such as revenues, asset or company sales, IP generated) and/or public understanding of the discipline or similar

    • Main Duties

    The responsibilities may include some but not all of the responsibilities outlined below.

  • Develop research objectives and proposals for own or joint research, w...

    • Apply for this Job

    Submit your application for the Research Fellow in Formal Methods for Robotics and AI Safety - School of Computer Science - 107478 - Grade 7 position at University of Birmingham.

    Apply Now Save for Later

    Job Overview

    Job Type: Full time
    Location: United Kingdom, United Kingdom
    Posted: June 16, 2026
    Deadline: July 26, 2026