News2024-06-18T09:34:36+00:00

Latest news

1503, 2024

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

Go to Top