关于我的欧美留学经历和全球博士薪资概览，请戳下方视频：
招聘概览
I am looking for a PhD student to join the Formal Methods and Tools group at the University of Twente (NL). The topic of the PhD project is model-based testing.
申请要求
A short summary of the envisioned research direction of the PhD student is as follows:
In this research project, you will tackle fundamental questions on
automated testing of complex software systems. The idea is to develop test automation techniques, that use both information on the expected behaviour of the system, e.g. available from behaviour-driven
development of the system, and information about the actual behaviour of the system, e.g. from tests that have already been executed. By combining several sources of evidence, tests are better equipped for detecting software bugs, including those often missed by other tools. You will implement you test generation algorithms in a tool, and apply them in industrial case studies.
The starting date is flexible and to be discussed.
Deadline for application: October 6
合同薪水
欧洲全奖博士，全球各国博士（后）薪资参考 ：
如何申请
关注公众号
后台回复 "算法博士"
获取以上职位申请链接
往期推荐 Recommended readings
号主简介
@留德华叫兽：系美国Clemson大学数学硕士(运筹学方向)、Ph.D. candidate，欧盟玛丽居里学者，德国海德堡大学数学博士(离散优化、图像处理)，读博期间前往意大利博洛尼亚大学、IBM实习半年，巴黎综合理工访问一季。现任德国无人驾驶资深研发工程师。
读博期间创办【运筹OR帷幄】技术、【DIY飞跃计划】留学|科研社区并运营至今，2020.08创办【DeepMatch】硕博|海外AI交友社区 ，知乎｜B站 | 今日头条｜微博等平台科普自媒体创作者（超100w关注者）。
私人订制咨询：欧洲/北美/全球留学及AI/DS/运筹学私人订制/专家联合咨询
直播连麦咨询：每周日晚【直播1V1连麦咨询】：欧洲/北美/全球留学移民咨询&教授专家视频访谈
也欢迎同步关注我的抖音/B站/微博/小红书/蓝鸟X：留德华叫兽，防止失联。
