Formal Verification of Statistical Model Checking Algorithms

Stream: job postings

[Mohammad Abdulaziz]

Hi Everyone,

I am currently recruiting a PhD student at King's College London to work at the intersection of formalising mathematics, theoretical CS, and formal verification. The project is about the verification of statistical model checking (SMC) algorithms which reason about models of probabilisitic systems, like Markov Decision Processes. The project accommodates anything from the formalisation (in Isabelle, Lean, etc) of the theory behind SMC to the formal verification of efficient executable SMC programs.

The project is funded by STaR-AI (Home fee status only): King’s Prize Doctoral Programme in Safe, Trusted and Responsible Artificial Intelligence. It will be co-supervised by Mohammad Abdulaziz from the Department of Informatics (https://www.kcl.ac.uk/people/mohammad-abdulaziz) and John Armstrong from the Department of Mathematics (https://www.kcl.ac.uk/people/john-armstrong).

Deadline: 2 March

More information about the project:
https://www.findaphd.com/phds/project/formal-verification-of-statistical-model-checking-algorithms/?p193686

Apply here:
https://www.kcl.ac.uk/research/star-ai

Please feel free to contact me (mohammad.abdulaziz@kcl.ac.uk) or John Armstrong (john.armstrong@kcl.ac.uk) if you are interested!