1 software-verification Fellowship positions at University of Birmingham

Research Fellow in Formal Verification - School of Computer Science - 106122 - Grade 7

University of Birmingham | Birmingham, England | United Kingdom | about 7 hours ago

this direction. The project aims to develop a comprehensive approach to software verification grounded in neural certificate technologies. Role Summary The Research Fellow will play a crucial role within the