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.
This position needs to be filled as soon as possible. Candidates can apply through any of the following URLs:
– https://www.jobs.ac.uk/job/DGO984/research-associate
– https://jobs.kent.ac.uk/Vacancy.aspx?id=7355&forced=2