Hardware Security Training Roadshow
Hardware Security Training Roadshow Interested in attending a 2-day training course on Hardware Security & Pen testing with renowned trainer Joseph FitzPatrick? The UK Research Institute [...]
TFP (and TFPiE) 2025 and Conference Opportunity for PhD Students and ECR
26th International Symposium on Trends in Functional Programming 13th to 16th January 2025, Oxford, UK The symposium on Trends in Functional Programming (TFP) is an [...]
VeTSS Summer School 2024
The VeTSS Summer School 2024 was hosted by the Department of Computer Science at the University of Bristol from August 13th to 15th. A [...]
Formal Specification and Validation at Scale, INI, 21st-22nd October, 2024
This Open for Business event is part of an INI programme on Big Specification. It aims to provide a meeting ground to facilitate interactions and exchanges between representatives of academia, [...]
Vacancy: Research Associate in Program Semantics and Verification at Imperial College London
Applications are invited for a Research Associate (postdoctoral) position at Imperial College London, UK, under the supervision of Dr Azalea Raad. This is a two-year position, with the [...]
CyberASAP Pathfinder – applications now open
CyberASAP is a well-established programme now in its seventh year. The in-depth programme supports UK academics who are interested in commercialising their cyber security ideas and [...]
Vacancy: Research Assistant/Associate in Software Security and Formal Analysis, University of Newcastle
There is an exciting opportunity for a highly motivated and independent individual to join an EPSRC research project (TRUSTED: SecuriTy SummaRies for SecUre SofTwarE Development) [...]
FUN IN THE REPL! Fun in the Afternoon meets S-REPLS @ Bristol Engine Shed, Weds 1st November 2023
We are very happy to be one of the sponsors of "Fun in the REPL", a one day joint meeting of the Fun in the [...]
Postponed: VeTSS industry innovation sandpit
The one-day VeTSS industry innovation sandpit at Imperial I-X has been postponed. We are are looking for alternative dates and we will advertise this as [...]
VeTSS summer School 2023 ends
We had great weather on the final days of this year's VeTSS Summer School 2023, to cap a week full of amazing talks and tutorials. [...]
by