Skip to main content
This site requires the use of cookies as defined by our Terms and Conditions.  We have provided a detailed description of how cookies work and are used on the site.  To accept cookies, please click the "Accept Cookies" button.
View All Vacancies

Research Associate

School of Computing

Location:  Canterbury
Salary:  £36,386 to £40,931 per annum
Grade:  Grade 7
Post Type:  Full Time
Contract Type: Fixed Term - 12 Months
Release Date:  Friday 08 March 2024
Closing Date:  23.59 hours BST on Sunday 07 April 2024  (unless otherwise stated)
Reference:  CEMS-260-24

We seek a talented and motivated Research Associate to join the School of Computing 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.

 The project will be in the intersection of modal type theory, information flow control and secure compilation. It will also involve mechanisation in the HOL4 theorem prover and implementation in the CakeML ecosystem. Applicants should have a strong background in formal methods evidenced by high-quality research publications or artifacts in top-tier venues of programming languages, formal verification or security research. The project will involve close collaboration with Prof. Magnus Myreen (Chalmers).

 As a Research Associate you will:

  • build novel type theories, proof techniques and compilation methods to reason about hyper properties relevant for security of higher-order programs.
  • work on mechanisation of the above in HOL4.
  • integrate them in the CakeML framework, a real world compiler for the ML like language. 

To be successful in this role you must:

  • have a PhD or equivalent experience in Computing or in a related discipline.
  • have a track record of peer-reviewed publications at scientific workshops, conferences or journals.
  • have excellent mathematical skills relevant for analysis of computer programs.

 The university of Kent is walking distance from the charming city of Canterbury. It has a high speed connection to London, and travel to Europe is convenient by rail or car.

 For further information please feel free to contact Dr. Vineet Rajani (

Further details:    Job Description     Additional Information    

Please note that we prioritise applications from current University of Kent redeployees. We will let you know if this post is to be filled by a redeployee as, in this instance, your application will unfortunately not be taken forward.

Applications must be made via the University’s online application system; CVs or details sent directly to the department or via email cannot be considered.

The University of Kent values diversity and promotes equality at all levels.