Funding Calls

VeTSS fourth call for Proposals: Digital Security through Verification

The Research Institute in Verified Trustworthy Software Systems (VeTSS) has just published its fourth call for proposals, funded by the National Cyber Security Centre (NCSC).  This call focusses on how to embed verification into the heart of the modern software systems and complements the current ISCF ‘Digital Security by Design’ programme, which has the specific focus… Read more »

£0.5M, Second call for research proposals on program analysis, testing and verification, funded by NCSC, deadline 11th January, 2018

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 11th January 2018, 16:00h. This second call for £0.5M, funded by the National Cyber Security Centre (NCSC), is intended… Read more »

£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… Read more »

Delicious Twitter Digg this StumbleUpon Facebook