Please note that this newsitem has been archived, and may contain outdated information or links.
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.
Please note that this newsitem has been archived, and may contain outdated information or links.