-
Research theme: Formal Methods How many positions: 1 This 3.5 year PhD is funded by the Department of Computer Science at The University of Manchester. The successful candidate will receive
Searches related to formal verification
Enter an email to receive alerts for formal-verification "University of Manchester" positions