The Research Institute in Verified Trustworthy Software Systems (VeTSS) has just published its third call for proposals for £0.5M, funded by the National Cyber Security Centre (NCSC).
VeTSS is inviting proposals for research into the areas of program analysis, testing, and verification, in particular work seeking to verify important parts of our software infrastructure, and understand how these verified parts interact with the rest of the infrastructure. Proposals should address fundamental problems in the area including, but not limited to:
Lightweight verification for the general programmer
Full verification for specialist software
Verification for open-source software
Closing date for this call is 21st December 2018, by noon.
This third VeTSS funding call is for approximately £0.5M to be spent between 1/4/2019 and 31/3/2020, funded by the National Cyber Security Centre (NCSC). Projects extending for longer periods of time will also be considered, including proposals for PhD studentships that extend for 3.5 years. The expectation is that the costs will be between £50–£100K per proposal. For the full details of the call and the application process, please see our Funding Calls page.