Postdoctoral Associate position on information flow security, London (England)

Andrei Popescu is hiring a postdoctoral associate for 14 months on a project having the following goals:
(1) Develop an expressive, compositional and quasi-automated framework for information flow security of web-based systems.
(2) Use this framework to produce the world's first feature-rich and security-verified social media platform, in collaboration with an industrial partner.

The position is based at the Middlesex University London, and offers a competitive salary. Candidates should have a PhD, and have expertise in proof assistant technology. Experience with Isabelle/HOL is a plus.

For more information, see http://andreipopescu.uk/ or contact Dr. Popescu at a.popescu at mdx.ac.uk. For informal inquiries about the position, Dr. Popescu can also be contacted while at IJCAR 2016 in Coimbra or ITP 2016 in Nancy.