Latest news
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 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