£0.5M Call for research proposals on program analysis, testing and verification, funded by NCSC, deadline 17th July 2017

VeTSS is inviting proposals for research into the areas of program analysis, testing, and verification, in particular work seeking to develop fundamental theories and industrial-strength tools that target real-world applications.

Closing date for this call is 17th July, 2017, 9:00 AM.

This initial call for £0.5M is intended to support small projects between 1st August 2017 and 31st March 2018, funded by the National Cyber Security Centre (NCSC). For the full details of the call and the application process, please see our page on Funding Calls.

Delicious Twitter Digg this StumbleUpon Facebook