VeTSS is inviting proposals for research into the areas of program analysis, testing, and verification, in particular work seeking to develop fundamental theories and industrial-strength tools that target real-world applications.
Closing date for this call is 4th January 2018, 12:00 noon.
This second call for £0.5M, funded by the National Cyber Security Centre (NCSC), is intended to support projects between 1st April 2018 and 31st March 2019. However, PhD studentships for 3.5 years are encouraged, and other proposals extending for longer periods of time will also be considered.
For the full details of the call and the application process, please see our page on Funding Calls.