-
research in formal verification, machine learning and artificial intelligence system assurance. The successful candidate will develop new techniques and tools for analysing, verifying and improving
-
designing and building visualization dashboards. Research experience in human-centered AI, or in the integration of AI and machine learning methods into interactive visualization and analysis systems. Strong
-
techniques that ensure trustworthiness and to develop methods and tools to analyse and quantify the various performance parameters of the software on this platform such as degree of privacy, reliability and
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions in computer-science