The page you are requesting does not exist. You can start your search here!
Sort by
Refine Your Search
-
into areas such as AI-driven verification, predictive maintenance, and compliance assurance, aiming to enhance system reliability and safety. Situated within the esteemed IVHM Centre and supported by
-
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 computer science
Enter an email to receive alerts for software-verification-computer-science positions