-
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 software verification
Enter an email to receive alerts for software-verification "University of Manchester" positions