vetsseditor2

Vacancy: Research Fellow in Verification or Security or Concurrent/Distributed Systems

Post-doc positions, Vacancies / By

The Department of Computer Science at the University of Surrey is seeking to recruit a full-time postdoctoral researcher to work on a range of topics in the areas including: emerging hardware architectures (weak memory, RDMA, persistent memory, CXL); formal modelling, verification and/or logic; interactive and automated tools, such as theorem provers and model checkers; proofs …

Vacancy: Research Fellow in Verification or Security or Concurrent/Distributed Systems Read More »

Vacancy: Research Associate at the University of Kent

Vacancies / By

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 declassification and its secure compilation”. The post is based in Canterbury and will be directly supervised by Dr. Vineet Rajani. …

Vacancy: Research Associate at the University of Kent Read More »

CyberASAP Pathfinder – applications now open

Funding / By

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 …

CyberASAP Pathfinder – applications now open Read More »