【简介】博士后招聘网整理分享“英国牛津大学计算机科学系2022年招聘博士后职位（ARiAT项目）”，浏览查询更多博士后招聘计划请访问博士后招聘网。

英国牛津大学计算机科学系2022年招聘博士后职位（ARiAT项目）

Research Associate on the ARiAT Project

University of Oxford

Description

Department of Computer Science - Wolfson Building, Parks Road, Oxford

The Oxford Department of Computer Science has a vacancy for a full-time (37.5h p.w.) Postdoctoral Research Associate (PDRA) on the “ARiAT: Advanced Reasoning in Arithmetic Theories” project. This project is funded by European Research Council (ERC).

Arithmetic theories are logical theories for reasoning about number systems, such as the integers and reals. Such theories find a plethora of applications across computer science, including in algorithmic verification, artificial intelligence, and compiler optimisation. The appeal of arithmetic theories is their generality: once a problem has been formalised in a decidable such theory, a dedicated solver can in principle be used in a push-button fashion to obtain a solution. Arithmetic theories are also of great importance for showing decidability and complexity results in a variety of domains. The overall goal of ARiAT is to advance the state-of-the-art in decision procedures for expressive arithmetic theories. The project aims at tackling long-standing open problems—some of them being decades old—and at laying algorithmic foundations on which next-generation decision procedures and reasoners for arithmetic theories will be built.

You will join the research group of Dr Christoph Haase and work closely with the members of the group. Candidates are expected to hold a PhD/DPhil (or be close to completion) in Computer Science or a related discipline, together with relevant experience in computational or mathematical logic, and/or formal verification, broadly construed.

This role includes an entitlement to 38 days of paid annual leave, inclusive of eight public holidays as well as membership in the USS pension scheme. The initial contract is for 1.5 years.

The closing date for applications is 12 noon on 16 August 2022. Interviews are expected to be held in August or early September.

We are a Stonewall Top 100 Employer, Living Wage and Mindful Employer, holding an Athena Swan Bronze Award, HR excellence in Research and Race Equality Charter Bronze Award.

Our staff and students come from all over the world, and we proudly promote a friendly and inclusive culture. Diversity is positively encouraged, through diversity groups and champions, for example https:// www. cs.ox.ac.uk/aboutus/women-cs-oxford/index.html , as well as a number of family-friendly policies, such as the right to apply for flexible working and support for staff returning from periods of extended absence, for example shared parental leave.

Demonstrating a commitment to provide equality of opportunity. We would particularly welcome applications from women and black and minority ethnic applicants who are currently under-represented within the Computer Science Department. All applicants will be judged on merit, according to the selection criteria.

Contact Person : HR Coordinator Vacancy ID : 159819 Contact Phone : Closing Date & Time : 16-Aug-2022 12:00 Pay Scale : STANDARD GRADE 7 Contact Email : hr@cs.ox.ac.uk Salary (£) : Grade 7: Salary £33,309 - £40,927 p.a. (Post may be under-filled at Grade 6 £29,614 - £35,326 p.a.)

更多最新博士后招收信息请关注博士后招聘网微信公众号（ID：boshihoujob）

祝君：学业有成、学成归来

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

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