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. To build on the achievements of the full programme and encourage future applicants, we are running a pilot short-programme …
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 position is flexible within 2023. This post is funded by a generous UKRI fellowship (£1.5m), under the PERSEVERE project, and …
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 Programming Languages Research Group Bristol. The one day meeting, (10am – 5pm), will be held at the Engine Shed, Bristol BS1 …
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 by both academic and industry participants, followed by seedbed meetings, comprising small-group, in-depth discussions and prototyping. Each seedbed will develop a new …
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 at the University of Surrey for making this such a great first VeTSS Summer School. We look forward to see …
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 of this position is to design and develop theories and tools with solid foundations for secure open-source software development in …
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 group’s diverse interests. Embracing a broad interpretation of compilers, you will explore code generation, optimisation, static analysis, code translation, correctness, …
Vacancy: Lecturer in Programming Languages and Compilers, Bristol Read More »
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 to work on one or more of the areas below: emerging hardware architectures (weak memory, RDMA, persistent memory, CXL), formal …
Vacancy: Two Postdoctoral Research Fellows at the University of Surrey, UK Read More »
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 (NCSC) research institutes, (including VeTSS) Dr Narges Khakpour (Newcastle University), Prof Sven Schewe (University of Liverpool) and Dr Dominik Wojtczak …
