3 formal-verification-computer-science Fellowship positions in United Kingdom

Research Fellow in Verification or Security or Concurrent/Distributed Systems

University of Surrey | United Kingdom | 11 days ago

individually, make a real difference. About the role The Department of Computer Science at the University of Surrey is seeking to recruit a full-time postdoctoral research fellow to work on a range of topics in

Research Fellow in Control Theory and Supply Chain Modelling

QUEENS UNIVERSITY BELFAST | Belfast, Northern Ireland | United Kingdom | 3 months ago

: control theory and engineering, reachability analysis, operations research, formal verification, optimisation, data-driven methods. Undertaking research in one or more of the areas of control theory

Research Fellow - School of Computer Science - 105412 - Grade 7

University of Birmingham | Birmingham, England | United Kingdom | 3 months ago

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