One remit of the Research Institute on Verified Trustworthy Software Systems (VeTSS) is to invite proposals for research on analysis, testing and verification, in particular work seeking to develop fundamental theories and industrial-strength tools that target real-world applications.
The expectation is that VeTSS will receive funding of £0.5M per year for five years from the National Cyber Security Centre to fund research projects. VeTSS will use this funding to support excellent projects that are perhaps more difficult to fund through, for example, EPSRC and industry. The plan is to have annual calls in October for projects starting in April of the following year.
Initial Call for Proposals
The initial call for proposals is available here, published 19th June 2017.
The deadline for application is 9.00 am on Monday 17th July 2017.
This initial call for £0.5M is to fund small projects between 1st August 2017 and 31st March 2018. There is no flexibility regarding the end date for this funding. A second call will follow in October 2017 for projects to start not before April 2018 and with more flexible end dates. Proposals for this initial call can be written to dovetail with the October call.
Examples of possible projects include: projects transferring technology from academia to industry; small projects on ambitious blue-sky research as a step towards more standard funding; continuity funding for projects previously funded by RIAPAV; and projects to bring talented international PhD students, RAs and academics to spend time with UK research groups. Proposals should provide evidence of engagement with the international academic or industrial community specialising in analysis, testing and verification, or the UK industrial community interested in applying such techniques to industrial practice.