1 software-formal-method-phd research jobs at University of Birmingham

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

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

for automated software verification. This role offers a unique opportunity to work at the forefront of formal methods and machine learning research, contributing to the foundational principles of how AI is