Latest news
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 international forum for researchers with interests in all aspects of [...]
Systemic AI Safety Grants – the AI Safety Institute
The AI Safety Institute is a directorate of the Department of Science, Innovation, and Technology that facilitates rigorous research to enable advanced AI governance. They are seeking applications focused on a range of safety-related problems: this [...]
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 [...]
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 [...]
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 [...]
News: Funding Success
Many congratulations to the three projects awarded funding on the latest Research aligned with cybersecurity research funding call. The call, worth £7.5M was open to research projects aligned with the four EPSRC-National Cyber Security Centre [...]
by