【简介】博士后招聘网整理分享“英国南安普顿大学2022年招聘博士后职位（自动验证）”，浏览查询更多博士后招聘计划请访问博士后招聘网。

英国南安普顿大学2022年招聘博士后职位（自动验证）

Research Fellow in Automated Verification

University of Southampton

Description

You will join the research project COVER: COalgebraic Foundations for Quantitative VERification. The post will be in the Agents, Interaction and Complexity (AIC) research group, in the School of Electronics and Computer Science (ECS) at the University of Southampton. The AIC group leads a number of nationally important research centres including the Trustworthy Autonomous System Research Hub (tas.ac.uk) and the UKRI MINDS Centre for Doctoral Training (mindscdt.ai).

The project, funded by the Leverhulme Trust, is a collaboration between the Universities of Southampton and Strathclyde. It aims to transform the area of automated verification by extending its scope in a principled way to match the complexity of modern applications and their varied, often quantitative verification needs. We will achieve this by developing new foundations grounded in the theory of coalgebras, along with algorithms and prototype tools to showcase them. This will enhance the applicability of automated verification through the use of more general models and specification logics. It will also improve the scalability of automated verification by placing compositionality and abstraction at the heart of verification. The research team includes Dr Corina Cirstea from the AIC group at the University of Southampton, Dr Clemens Kupke from the Mathematically Structured Programming group at the University of Strathclyde, and two Research Fellows, one at Southampton and one at Strathclyde.

You will contribute to the development of new theories for quantitative verification, and will take a leading role in the development of algorithms that support quantitative model checking and synthesis. You will also work alongside the Strathclyde Research Fellow on the development of prototype tools.

To be successful you will have a PhD (or equivalent)/ equivalent professional qualifications and experience in computer science or mathematics, and a proven track record in logic, formal verification or category theory. Prior exposure to category theory and/or coalgebraic methods is desirable, as is experience with algorithm development. You must also be able to work effectively in a team and organise time, tasks and responsibilities with other team members.

The appointment is full time, fixed term (20 months). The starting date is 1 October 2022 or as soon as possible thereafter.

Ranked in the top 1% of universities globally and among the UK's top 20 for research, the University of Southampton has an international reputation for its research, teaching and enterprise activities. The School of Electronics and Computer Science provides a unique, friendly and supportive environment that facilitates use-inspired and multi-disciplinary research, education, training and outreach.

Equality, Diversity and Inclusion are central to the ethos of the School of Electronics and Computer Science. We are committed to improving equality for women in science and engineering and have been successful in achieving an Athena SWAN bronze award in April 2020. We will give due consideration to applicants who wish to work flexibly and to those who have taken a career break. The University has onsite childcare facilities. We have a range of staff development programmes and a unique mentoring and wellbeing scheme.

For informal inquiries, please contact Dr Corina Cirstea (cc2@ecs.soton.ac.uk).

Applications for Research Fellow positions will be considered from candidates who are working towards or nearing completion of a relevant PhD qualification. The title of Research Fellow will be applied upon successful completion of the PhD. Prior to the qualification being awarded, the title of Senior Research Assistant will be given.

Please include a full CV and a supporting statement in your application. The supporting statement must explain how you meet the selection criteria for the post using examples of your skills and experience.

You should submit your completed online application form at https: // jobs.soton.ac.uk. The application deadline will be midnight on the closing date stated above. References are requested along with your application. This reference system is automated so please ensure you provide the correct email address and allow time for these to be received, prior to the close date, to assist the department with shortlisting.

If you need any assistance, please call Holly Shergold (Recruitment Team) on +44 (0) 23 8059 5719, or email recruitment@soton.ac.uk. Please quote reference 1897622FP on all correspondence.

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

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

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

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