VeTSS funding calls are published annually, usually in late October, for approximately £0.5M each call, to be spent between April and March the following year. They are funded by the National Cyber Security Centre (NCSC).
VeTSS would like to support excellent proposals that are perhaps more difficult to fund through UKRI and industry: examples include proposals transferring technology from academia to industry; proposals on ambitious blue-sky research as a step towards more standard funding; and proposals focussing on the development of properly engineered tools rather than cutting-edge research.
Previous calls were highly competitive and we encourage proposals that provide evidence of engagement with the international academic or industrial verification community, or the UK industrial community interested in applying such techniques to industrial practice.
The fourth VeTSS funding call will be announced on this pages soon. For details of previous calls, including the call documents and funded proposals please see here.