Four posts in Foundations of Security at University of Edinburgh, UK

Applications were invited to the following positions in the School of Informatics, University of Edinburgh, UK:

  1. (Senior) Post-doctoral Research Fellow in Mobile Security
  2. Post-doctoral Research Associate in Mobile Security
  3. PhD studentship in Digital Evidence for Mobile Anti-malware
  4. PhD studentship in Bayesian Probabilistic Programming for Security

The post-doc positions will be available from June 2013 (or later by negotiation) and last for three years. The PhD projects will start in September 2013.

The first three posts are within a new project App Guarden working on the security of mobile applications and app stores, within the Mobility and Security Group. The final PhD studentship is on an associated project, funded by Microsoft Research.

The App Guarden project aims to design a rigorous security framework using static and dynamic program analysis to ensure that mobile apps meet precise policies. The project will build an experimental secure app store, based on a modified version of Android. It will draw on techniques in program analysis (e.g., type systems, abstract interpretation, theorem proving), compilation, and machine learning.

The deadline for applications has now passed but please get in touch informally with me if you are interested in a PhD or research in one of these areas in the future.

Please contact David Aspinall (David.Aspinall@ed.ac.uk).