Email Gateway (Feb 19 2026 at 14:30): Email Gateway (Feb 19 2026 at 14:30):From: Mohammad Abdulaziz <mohammad.abdulaziz8@gmail.com>
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!
Best wishes,
Mohammad
Last updated: Feb 22 2026 at 05:16 UTC