1 formal-verification-computer-science positions at University of Glasgow

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

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

Lecturer / Senior Lecturer / Reader in Foundational AI

University of Glasgow | Glasgow, Scotland | United Kingdom | about 1 month ago

, secure and robust against adversarial behaviour. These proof techniques could include, but are not limited to, formal verification (including model checking, theorem proving and SMT solving), formal

Searches related to formal verification computer science

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