<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div class="elementToProof"><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">Apologies for cross posting. </span></div>
<div class="elementToProof"><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);"><br>
</span></div>
<div class="elementToProof"><span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);">Dear colleagues,</span></div>
<div class="elementToProof"><span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);"><br>
</span></div>
<div class="elementToProof"><span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);">We seek a talented and motivated postdoc/Research associate to join the School of Computing at the University of Kent, Canterbury,
UK. 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 (https://vineetrajani.github.io/).</span></div>
<div class="elementToProof"><span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);"><br>
</span></div>
<div class="elementToProof"><span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);">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).</span></div>
<div class="elementToProof"><span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);"><br>
</span></div>
<div><span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);">As a Research Associate you will:</span></div>
<div><span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);">1. build novel type theories, proof techniques and compilation methods to reason about hyperproperties relevant for security of higher-order programs.</span></div>
<div><span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);">2. work on mechanisation of the above in HOL4.</span></div>
<div><span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);">3. integrate them in the CakeML framework, a real world compiler for the ML like language.</span></div>
<div><span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);"><br>
</span></div>
<div><span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);">To be successful in this role you must:</span></div>
<div><span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);">1. have a PhD or equivalent experience in Computing or in a related discipline.</span></div>
<div><span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);">2. have a track record of peer-reviewed publications at scientific workshops, conferences or journals.</span></div>
<div><span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);">3. have excellent mathematical skills relevant for analysis of computer programs.</span></div>
<div><span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);"><br>
</span></div>
<div class="elementToProof"><span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);">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.</span></div>
<div><span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);"><br>
</span></div>
<div class="elementToProof"><span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);">Please apply through any of the following URLs:</span></div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; margin: 0px;">
<span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);">- https://www.jobs.ac.uk/job/DGO984/research-associate</span></div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; margin: 0px;">
<span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);">- https://jobs.kent.ac.uk/Vacancy.aspx?id=7355&forced=2</span></div>
<div class="elementToProof"><span style="font-family: "Times New Roman", Times, serif; font-size: 12pt; color: rgb(0, 0, 0);"><br>
</span></div>
<div class="elementToProof"><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">We are looking to have the successful candidate start as soon as possible. For any queries formal
or informal, please do not hesitate to get in touch Dr. Vineet Rajani (v.rajani@kent.ac.uk).</span></div>
<div class="elementToProof"><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);"><br>
</span></div>
<div class="elementToProof" style="font-family: Arial, Helvetica, sans-serif; font-size: 14pt; color: rgb(0, 0, 0);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 11pt;">Best regards,</span></div>
<div class="elementToProof" style="font-family: Arial, Helvetica, sans-serif; font-size: 14pt; color: rgb(0, 0, 0);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 11pt;">Vineet</span></div>
</body>
</html>