Latest news
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 huge thank you to all the amazing lecturers and our [...]
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, research and industry, relevant to the theme, with the objective [...]
Kent Concurrency Workshop and S-REPLS 15, University of Kent,18‐19 July, 2024
We are very happy to be on of the sponsors of this year's Kent Concurrency Workshop and S-REPLS 15, taking place at the University of Kent, Canterbury, on 18‐19 July, 2024. The South of England [...]
Vacancy: Research Fellow in Verification or Security or Concurrent/Distributed Systems
About the role The Department of Computer Science at the University of Surrey is seeking to recruit a full-time postdoctoral research fellow to work on a range of topics in the areas including: emerging hardware [...]
Vacancy: Research Associate at the University of Kent
The Research Associate will participate in cutting edge research on type-based enforcement and compilation techniques for enforcement of security properties of higher-order programs. The position is on an EPSRC funded project titled "TYPDSEC: Type-based information [...]
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 possibility to extend it further. The start date for 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 is delivered annually with a duration of approximately ten months. [...]
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) as a Research Assistant or Associate. The focus of this [...]
Vacancy: Research Assistant/Associate in Software Security and Formal Analysis, University of Newcastle
Closing Date: 07 January 2024 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) as a Research Assistant or [...]
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 possibility to extend it further. The start date for the [...]
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 Afternoon and S-REPLS communities, organised by our colleagues at 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 soon as we can. The sandpit will include lightning talks [...]
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. Big thanks to the students and speakers and the staff [...]
Vacancy: Research Associate in Software Security and Formal Methods at Newcastle University
Research Associate in Software Security and Formal Methods at Newcastle University There is an exciting opportunity for a highly motivated and independent individual to join Newcastle Unviersity as a Research Associate (postdoctoral researcher). The focus [...]
Vacancy: Lecturer in Programming Languages and Compilers, Bristol
The Bristol Programming Languages Research Group [0] is seeking a new Lecturer in Programming Languages and Compilers. As a Lecturer, you will contribute your research expertise, with a specific focus on compilers, aligning with the [...]
Vacancy: Two Postdoctoral Research Fellows at the University of Surrey, UK
Two Postdoctoral Research Fellows at the University of Surrey, UKPost Type: Full time (3 year fixed term)Salary: £35,308 to £38,474 per annumClosing Date: 1st Sept, 2023 We are seeking to recruit two full-time postdoctoral researchers [...]
by