📍 Jobs Near Me
For Job Seekers For Employers
📍

HiringNearMe.work

Local Jobs, Zero Commute

Jobs
Home › Jobs Near United Kingdom › Research Fellow in Formal Methods for Robotics and AI Safety - School of Computer Science - 107478 - Grade 7
📍 Local Job Near You

Research Fellow in Formal Methods for Robotics and AI Safety - School of Computer Science - 107478 - Grade 7

🏢
University of Birmingham
📍 United Kingdom, United Kingdom
📍
Location United Kingdom
📅
Posted June 25, 2026
🚗
Commute Local Area
🎯
Local Opportunity Near You!

This job is in your area. Enjoy a short commute and work close to home.

📋
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 Application

    Quick and secure application process

    📍 Location Details

    🌆
    City
    United Kingdom
    🗺️
    Country
    United Kingdom
    🚗
    Commute
    Local Area

    🔍 More Jobs Nearby

    Explore other opportunities in United Kingdom

    View Local Jobs