Sort by
Refine Your Search
-
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
-
, lack of transparency, safety assurance, and sustainability. You will work at the forefront of AI research, exploring formal and dynamic verification methods, explainable AI, and data space integration
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions