Research Fellow in Formal Methods Robotics and AI Safety - School of Computer Science

Job Description

School of Computer Science

Location:

University of Birmingham, Edgbaston, Birmingham UK

Full time starting salary is normally in the range £36,636 to £46,049 with potential progression once in post to £48,822

Grade: 7

Full Time, Fixed Term contract up to October 2028

Closing date: 28th June 2026

The position is part of a European Innovation Council Pathfinder project, which investigates safe, intelligent, and autonomous robotic systems. The successful candidate will join the research group of Sadegh Soudjani at the University of Birmingham and contribute to the development of mathematically rigorous safety and verification techniques for autonomous multi-robot systems. The project focuses on the development of safe‑by‑design methods by combining formal verification, control theory, logical reasoning, and AI‑enabled decision‑making.

Research topics include:

• safety verification using barrier certificates
• compositional verification using assume–guarantee contracts
• temporal logic specification and verification
• safe autonomy for multi‑agent robotic systems
• computational techniques for trustworthy AI‑enabled cyber‑physical systems

The Research Fellow will collaborate with an interdisciplinary consortium involving robotics, AI, and control researchers across Europe. The role offers opportunities to publish in leading venues, contribute to open‑source software, support supervision of PhD students, and participate in the development of future research proposals.

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

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

• Develop research objectives and proposals for own or joint research, with assistance of a mentor if required
• Contribute to writing bids for research funding
• Analyse and interpret data
• Apply knowledge in a way which develops new intellectual understanding
• Disseminate research findings for publication, research seminars etc
• Supervise students on research related work and provide guidance to PhD students where appropriate to the discipline
• Contribute to developing new models, techniques and methods
• Undertake management/administration arising from research
• Contribute to Departmental/School research‑related activities and research‑related administration
• Contribute to enterprise, business development and/or public engagement activities of manifest benefit to the College and the University, often under supervision of a project leader
• Collect research data; this may be through a variety of research methods, such as scientific experimentation, literature reviews, and research interviews
• Present research outputs, including drafting academic publications or parts thereof, for example at seminars and as posters
• Provide guidance, as required, to support staff and any students who may be assisting with the research
• Deal with problems that may affect the achievement of research objectives and deadlines
• Promotes equality and values diversity acting as a role model and fostering an inclusive working culture

• First degree in area of specialism and normally, a higher degree relevant to research areas indicated below or equivalent qualifications/experience – Control Engineering, Computer Science, Robotics, Applied Mathematics, Electrical Engineering, or a closely related discipline.
• Strong background in at least one of the following:
  • formal verification
  • control theory
  • robotics
  • cyber‑physical systems
  • tempo…