EPSRC: research institute in automated program analysis and verification

The Engineering and Physical Sciences Research Council and the Government Communications Headquarters invite proposals for their research institute in automated program analysis and verification.

The research institute will identify and address central issues that underpin the current understanding of cybersecurity. The overall aim is to undertake internationally leading research in automated program analysis and verification, providing a foundation for developing new methodologies and research-quality tools and techniques that can be applied to post-development programs. Research proposals should address one of the following areas: vulnerability discovery, malware analysis and classification of code, improved defences and mitigation.