-
. 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 verification computer science
Enter an email to receive alerts for verification-computer-science positions