1 formal-verification-computer-science PhD positions at University of Surrey

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for formal-verification-computer-science positions

PhD Studentship: Digital Commentary Driving for Regulatory Compliance and Risk Assessment in Autonomous Vehicles

University of Surrey | Guildford, England | United Kingdom | 5 days ago

used in other safety-critical sectors. Review international AV regulations and identify gaps in explainability and traceability. Develop a formal DCD model capable of representing AV reasoning and

Searches related to formal verification computer science

Enter an email to receive alerts for formal-verification-computer-science positions