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 »
Funding Calls
£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 »