2 proof-checking-postdoc-computerscience Fellowship positions at University of Surrey

Senior Research Fellow on Agentic AI and Verification

University of Surrey | United Kingdom | about 20 hours ago

agents’ capabilities and information flows. Second, we will investigate the use of modern AI techniques to accelerate large-scale formal verification, including AI proof agents for maintaining, extending

Research Fellow in Breast Cancer Inequalities

University of Surrey | United Kingdom | 3 months ago

check will be required for the research element of the role. The expected start date is 1 November 2026. About you The successful candidate will be experienced in quantitative research, midwifery research