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.
Details of the next call for proposals will be published on this page in September 2018.