VeTSS fourth call for Proposals: Digital Security through Verification
This VeTSS call on ‘Digital Security through Verification’ focusses on how to embed verification into the heart of our modern software systems. This call 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. PhD studentships will not be considered this year since the current VeTSS funding finishes on 31/3/2022.
Please see the call document for the full details of the call and how to apply. Closing date for this call is 20th January, 9 am.
Applications should be sent to Teresa Carbajo Garcia by 9am on 20th January 2020. Enquiries regarding the academic scope and objectives of this call should be directed to Dr Petar Maksimovic, Academic Program Manager of VeTSS. Enquiries regarding the application process should be addressed to Teresa Carbajo Garcia, Administrative Program Manager of VeTSS.
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. For details of previous calls, including the list of funded proposals please see here.