Job Description
Position Details
School of Computer Science
Location: University of Birmingham, Edgbaston, Birmingham UK
Full time starting salary is normally in the range £35,880 to £45,163 with potential progression once in post to £47,874
Grade: 7
Full Time, Fixed Term contract up to April 2026
Closing date: 27th March 2025
Background
The School of Computer Science at the University of Birmingham is inviting applications for a Research Fellow on Formal Methods for Safe AI with focus on modelling and verification for AI-Enabled Biopharmaceutical Manufacturing.
As systems and processes increasingly integrate machine learning components, whose behaviour can be unpredictable, ensuring their safety and alignment with expected outcomes is essential for responsible governance. Formal guarantees of compliance with predefined specifications are vital for establishing trust among systems, users, and regulatory bodies. In particular, there is a growing interest in integrating AI within bio-pharmaceutical processes, which demand probabilistic reasoning to ensure safety and robustness of deployed AI technologies.
Role Summary
The Research Fellow will play a crucial role within the Safeguarded AI project, funded by ARIA (Advanced Research and Invention Agency). As a key contributor, the Research Fellow will work in close collaboration with Dr. Mirco Giacobbe and Dr. Leonardo Stella, as part of an industrial collaboration with AstraZeneca, Cambridge UK, and will engage in cutting-edge research in AI safety, formal verification, dynamical systems and mathematical modelling for the analysis of biochemical processes.
In this role, you will develop mathematical models and algorithms for the analysis of biopharmaceutical manufacturing processes with a focus on formal safety specifications.
The goal is to enable the safety assurance of probabilistic systems with very large or continuous state space that characterise the mathematical description of biochemical processes.
This project offers an opportunity to be at the forefront of interdisciplinary research, making a significant contribution to the fundamental principles of how AI technologies are verified and safeguarded, with the potential to shape future regulatory standards for the application of AI in the biopharmaceutical manufacturing sector.
Main Duties
The research fellow will be responsible for developing mathematical models and advanced algorithms for automated probabilistic verification in AI safety. In this role you will:
1. Contribute to the research goals of the project through collaborative research, with guidance from mentors and a strong network of collaborators.
2. Contribute to writing bids for research funding.
3. Analyse and interpret data.
4. Apply knowledge in a way which develops new intellectual understanding.
5. Disseminate research findings at conferences and seminars and contribute to academic publications.
6. Supervise students on research-related work and provide guidance to PhD students where appropriate to the discipline.
7. Contribute to developing new models, techniques and methods.
8. Undertake management/administration arising from research.
9. Contribute to Departmental/School research-related activities and research-related administration.
10. 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.
11. Deal with problems that may affect the achievement of research objectives and deadlines.
12. Promote equality and value diversity acting as a role model and fostering an inclusive working culture.
This position is ideal for candidates eager to pursue a career in academia or advanced research, and who are encouraged to contribute their own independent research ideas to the project.
Person Specification
1. First degree in area of specialism and normally, a higher degree relevant to formal verification, dynamical systems, stochastic analysis, statistics or equivalent qualifications.
2. Proven ability to publish in top-tier conferences and journals in machine learning, automatic control, bioinformatics.
3. Experience presenting research findings at seminars and conferences and ability to communicate complex information clearly.
4. Proficiency in programming, with knowledge of (or willingness to learn) machine learning software and formal verification platforms.
5. Ability to assess resource requirements and use resources effectively.
6. Understanding of and ability to contribute to broader management/administration processes.
7. Contribute to the planning and organising of the research programme and/or specific research project.
8. Coordinate own work with others to avoid conflict or duplication of effort.
9. Knowledge of the protected characteristics of the Equality Act 2010, and how to actively ensure in day-to-day activity in own area that those with protected characteristics are treated equally and fairly.
Informal enquiries to contact Dr. Mirco Giacobbe, email: m.giacobbe@bham.ac.uk or Dr. Leonardo Stella, email: l.stella@bham.ac.uk
We believe there is no such thing as a 'typical' member of University of Birmingham staff and that diversity in its many forms is a strength that underpins the exchange of ideas, innovation and debate at the heart of University life. We are committed to proactively addressing the barriers experienced by some groups in our community and are proud to hold Athena SWAN, Race Equality Charter and Disability Confident accreditations. We have an Equality Diversity and Inclusion Centre that focuses on continuously improving the University as a fair and inclusive place to work where everyone has the opportunity to succeed. We are also committed to sustainability, which is a key part of our strategy.
You can find out more about our work to create a fairer university for everyone on our website.
#J-18808-Ljbffr