英国约克大学机器人系统软件工程博士后职位招聘
Research Associate
University of York - Department of Computer Science
An exciting opportunity to join the Department of Computer Science as a Research Associate to carry out research on software engineering for robotic systems. The position is associated with a Royal Academy of Engineering Award (www.raeng.org.uk/news/news-releases/2018/april/academy-funds-global-research-visionaries-to-advan) and is funded by the Department of Computer Science, and the EPSRC in the context of the RoboCalc project (www.cs.york.ac.uk/circus/RoboCalc/). The project is joint with the Electronic Engineering Department and a number of industrial partners.
The role requires you:
· To develop techniques for modelling and verification of robotic systems; verification will cover a variety of approaches: model checking, theorem proving, and systematic testing both based on simulations and with hardware in the loop
· to extend existing techniques, develop customised tools
· To carry out industrial case studies
· To liaise with academic and the industrial partners and
· To participate in the writing of papers.
Key Requirements:
You will have
· PhD in Computer Science with a thesis on formal methods
· Have research expertise in an area that will complement and enhance the department's research strategy and goals
· Ability to develop and use software tools
· Good communication skills in order to liaise effectively with industrial partners and researchers
· Attention to detail and commitment to high quality
This post is available on a fixed term basis for 36 months.
For any enquiries please contact ana.cavalcanti@york.ac.uk
For further information and to apply on-line, please click on the ‘Apply’ button below.
A place where we can ALL be ourselves #EqualityatYork
以上内容由知识人网博士后申请咨询老师整理发布,希望能给遇到此类状况的申请者们一个清晰的方向。想了解更多关于国外博士后、博士后招聘的相关资讯,可以登录我们的官方网站:www.zsr.cc。