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 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 »