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 on capability hardware, building on a proposed Arm processor and the work of the CHERI project at the University of Cambridge. As usual, proposals that focus on analysis, testing and verification of software in general are also very much encouraged.
Closing date for this call is 20th January.
The call is for approximately £300K to be spent between 1/4/2020 and 31/3/2021. 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.