[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://www.kcl.ac.uk/people/mohammad-abdulaziz__;!!IBzWLUs!SklG1mFl8BHmveTFhqlbfCcIy6Ynk5zKxYT2QMxaxLSXmmZyid3uAWIGkAZlWgNgwFKWklC3TG-MzMvdm8hVdusVPS-dfZUeLSV3ODBn$
) and John Armstrong from the Department of Mathematics
(https://urldefense.com/v3/__https://www.kcl.ac.uk/people/john-armstrong__;!!IBzWLUs!SklG1mFl8BHmveTFhqlbfCcIy6Ynk5zKxYT2QMxaxLSXmmZyid3uAWIGkAZlWgNgwFKWklC3TG-MzMvdm8hVdusVPS-dfZUeLb_df60R$
).
Deadline: 2 March
More information about the project:
https://urldefense.com/v3/__https://www.findaphd.com/phds/project/formal-verification-of-statistical-model-checking-algorithms/?p193686__;!!IBzWLUs!SklG1mFl8BHmveTFhqlbfCcIy6Ynk5zKxYT2QMxaxLSXmmZyid3uAWIGkAZlWgNgwFKWklC3TG-MzMvdm8hVdusVPS-dfZUeLSgmoRKP$
Apply here:
https://urldefense.com/v3/__https://www.kcl.ac.uk/research/star-ai__;!!IBzWLUs!SklG1mFl8BHmveTFhqlbfCcIy6Ynk5zKxYT2QMxaxLSXmmZyid3uAWIGkAZlWgNgwFKWklC3TG-MzMvdm8hVdusVPS-dfZUeLdiknf8i$
Please feel free to contact me ([email protected]) or John Armstrong
([email protected]) if you are interested!
Best wishes,
Mohammad
