-
. Research areas: Computer science, Simulation-based automated synthesis and verification of human physiology models, Artificial intelligence, Machine learning Secondments: The candidate is expected to spend
-
will also design and develop new software and prototype models. Research areas: Computer science, Simulation-based automated synthesis and verification of human physiology models, Artificial intelligence
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions