`Verified Trustworthy Software Components’
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). Its focus is on`Verified Trustworthy Software Components’, although proposals that focus on analysis, testing and verification in general will also be considered.
The key challenge is 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.
These particular problems are by no means comprehensive. The expectation is that proposals for this call will address numerous problems associated with the aim of placing verified trustworthy software components within the overall software infrastructure.
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 the call document.
Closing date for this call is Friday 4th January 2019, by 9 am.