-
are looking for a strong researcher able to conduct research around formal methods for autonomous robotic systems, with a background of excellent research outputs across formal requirements and formal
-
such as quantisation and sampling are often ignored during the verification of AI models. Yet, they are pervasive phenomena in any engineering application where digital compute platforms interact with
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions