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 [...]

Vacancy: Research Associate at the University of Kent2024-03-15T12:41:33+00:00

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 [...]

CyberASAP Pathfinder – applications now open2024-03-08T10:20:56+00:00
Zulip

The Research Institute on
Verified Trustworthy Software Systems

The Research Institute on
Verified Trustworthy Software Systems

© Copyright 2024 • Made with by Envious Digital

Go to Top