Automated Game-Theoretic Verification of Security Systems

Advert: Research Fellow

A Postdoctoral Research Fellow position is available on the EPSRC-funded project "Automated Game-Theoretic Verification of Security Systems", led by Dr David Parker from the School of Computer Science at the University of Birmingham.

The goal of this project is to develop novel automated verification techniques for security systems, with a particular focus on the use of game theory and probabilistic verification. Example applications include electronic voting and anonymous communication networks.

To apply you must hold a first degree in the areas of Computer Science, Mathematics, or a related discipline, and normally, a PhD relevant to the research area or equivalent qualifications. Also, you should have demonstrated your research competence through high-quality and high-impact publications in top conferences and journals in one (or more) of the following areas: formal verification, computer security, game theory, probabilistic modelling. You should also have a strong mathematical background and good programming skills.

The postdoc will be supervised by Dr David Parker and will join the Security group in the School of Computer Science at the University of Birmingham. The post is available for up to 12 months.

Informal enquiries are encouraged and should be directed to:

For more details about the project and to apply, see:

The closing date for applications is 4 September 2013.