2 software-verification Fellowship positions at UNIVERSITY OF SURREY

Senior Research Fellow on Agentic AI and Verification

UNIVERSITY OF SURREY | United Kingdom, | United Kingdom | 16 days ago

individually, make a real difference. The role We are looking to recruit two Senior Research Associates at the University of Surrey for a new project on formal verification, seL4 security and AI-assisted theorem

Research Fellow in 6G Integrated Sensing and Communications (ISAC)

UNIVERSITY OF SURREY | United Kingdom, | United Kingdom | 18 days ago

strong programming and simulation skills and experience of producing reliable, well-documented research software. Willingness to spend part of the appointment at InterDigital's London office and to attend