【简介】博士后招聘网整理分享“英国肯特大学计算学院招聘CakeML形式验证博士后”，浏览查询更多博士后招聘计划请访问博士后招聘网。

Research Associate in Formal Verification for CakeML

University of Kent - School of Computing

Location:	Canterbury
Salary:	£32,600 to £37,768 per annum
Hours:	Full Time
Contract Type:	Contract / Temporary

Placed on:	10th May 2016
Closes:	12th June 2016
Job Ref:	STM0682

The Role

The post is one of two Research Associate positions on the EPSRC project “Trustworthy Refactoring”. The overall goalof this project is to investigate the design and construction of trustworthy refactoring tools: this means that when refactorings are performed, the tools will provide strong evidence that the refactoring has not changed the behaviour of the code, built on a solid theoretical understanding of the semantics of the language, and this will establish a step change in the practice of refactoring.

This post will focus on pushing the boundaries of trustworthy refactoring via mechanised proof for refactorings in CakeML, and the other post (STM0683) will concentrate on building an industrial strength refactoring tool for OCaml. The project has industrial support from Jane Street Capital, who will contribute not only ideas to the project but also host the second RA for a period working in their London office, understanding the OCaml infrastructure and their refactoring requirements.

School of Computing

The School of Computing is a welcoming and diverse environment that has recently been recognised with a Bronze Athena SWAN award. We are keen to enhance the balanced, inclusive and diverse nature of the community within the School and would particularly encourage female candidates to apply for this post.

Full details about teaching and research in the School can be found on our website: www.cs.kent.ac.uk

Further Information

Interviews are to be held: 21-22 Jun 2016

Please press the apply button below to view the full job description and also to apply for this post. If you require further information regarding the application process please contact Kim Kerr on k.kerr@kent.ac.uk.

Please note - applications must be made via the University’s online application system. You will be required to fill in the main details section of the application form as well as upload your CV and a summary document. Your summary should provide clear evidence and examples demonstrating where you meet the essential criteria for the post. We recommend a maximum of 4 x A4 sides for this document.

CVs or details sent directly to the department or via email cannot be considered.

请您在邮件申请时在标题注明信息来自：博士后招聘网-boshihoujob.com，电话咨询时说明从博士后招聘网(www.boshihoujob.com)看到的博士后招聘信息。

声明：凡本网注明“来源：XXX”的文/图等稿件，本网转载出于传递更多信息及方便产业探讨之目的，并不意味着本站赞同其观点或证实其内容的真实性，文章内容仅供参考。如其他媒体、网站或个人从本网站转载使用，须保留本网站注明的“来源”，并自负版权等法律责任。作者如果不希望被转载或者联系转载等事宜，请与我们联系。邮箱：boshihoujob@163.com。