The University of Birmingham seeks a Research Fellow to join a European project, focusing on safe, autonomous robotic systems. You will develop rigorous verification methods, collaborating across disciplines and publishing in leading venues.
The ideal candidate will possess a first degree in a relevant field and demonstrate strong skills in formal verification, control theory, and programming in languages like Python and MATLAB. This full-time, fixed-term role will be integral to advancing AI safety techniques.
#J-18808-Ljbffr