Postdoc/Research Associate: The School of Computing at the University of Kent is seeking a highly skilled and motivated Postdoc/Research Associate to contribute to cutting-edge research on type-based enforcement and compilation techniques for the security properties of higher-order programs. The position is part of the EPSRC funded project “TYPDSEC: Type-based information declassification and its secure compilation,” led by Dr. Vineet Rajani. The successful candidate will engage in interdisciplinary work at the intersection of modal type theory, information flow control, and secure compilation, with opportunities for collaboration and publication.
Designation:
Postdoc/Research Associate
Research Area:
Modal Type Theory, Secure Compilation, Formal Methods, Programming Languages
Location:
University of Kent, Canterbury, UK
Minimum Requirements:
* PhD or equivalent experience in Computing or related discipline
* Strong background in formal methods demonstrated by high-quality research publications or artifacts in top-tier venues of programming languages, formal verification, or security research
* Excellent mathematical skills relevant for the analysis of computer programs
Job Description:
As a Research Associate, you will:
* Develop novel type theories, proof techniques, and compilation methods to analyze hyperproperties relevant to the security of higher-order programs.
* Work on the mechanization of the developed theories in HOL4.
* Integrate the theories into the CakeML framework, a real-world compiler for ML-like languages.
How to Apply:
Interested candidates should apply through any of the following URLs:
Please include a CV, a cover letter highlighting your suitability for the position and addressing how you meet the eligibility/qualification criteria, and contact details of at least two referees.
Last Date for Apply:
Applications are encouraged as soon as possible.
#J-18808-Ljbffr