当前位置:知识人网 >> 国外博士后招聘 >> 正文内容

荷兰特文特大学计算机科学博士后职位
文章来源:知识人网整理       更新时间:2015年05月11日

In the Formal Methods and Tools (FMT) research group, formal techniques and tools are developed and used as a means to support the development of software. This includes the development of formal theories of concurrency, design methodologies for distributed systems, and correctness assessment using verification or validation techniques. The group is also concerned with the development of traditional tools such as compilers and interpreters. In both research and courses much attention is paid to the applicability of formal methods. The FMT group is part of the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at the University of Twente. The 3TU.BSR project Big Software on the Run (fmt.cs.utwente.nl/research/projects/3TU.BSR/) seeks several PhD and Postdoc positions. Millions of lines of code - written in different languages by different people at different times and operating on a variety of platforms - drive the systems performing key processes in our society. The resulting software needs to evolve and can no longer be controlled a priori as is illustrated by a range of software problems. The 3TU.BSR research program will develop novel techniques and tools to analyse software systems in vivo - making it possible to visualize behaviour, create models, check conformance, predict problems and recommend corrective actions. This PostDoc will investigate the frontier between model-based testing, runtime monitoring and conformance checking. The goal is to evaluate and improve test-generation techniques based on massive data gathered from online monitoring and the software development process, in collaboration with TU Delft (van Deursen) and TU Eindhoven (van der Aalst). The postdoc will be involved in the supervision of the PhDs based at the University of Twente (PhD positions 4 & 6). Moreover, the postdoc will also run the Twente side of the 3TU.BSR "Big Software on the Run" research program. This includes ensuring that software and application efforts are integrated and coordinated between the different subprojects. The project will run for a period of four years and is supported by the three Dutch technical universities (Eindhoven University of Technology, TU Delft, and University of Twente). It was initiated by 3TU.NIRICT, the Netherlands Institute for Research on ICT, which comprises all ICT research of the three universities of technology in the Netherlands.
 

Description

We are looking for candidates that meet the following requirements: you have a PhD in Computer Science or comparable qualifications and have research experience in the field of formal methods and familiarity with model-based testing, runtime monitoring, or conformance checking you have publications in relevant international journals and conferences; you enjoy working in a team and have good communication skills; you can demonstrate sufficient software development skills to realize research ideas in terms of prototype software you have sufficient management skills to coordinate research efforts in the 3TU.BSR project. Note that we are looking for candidates that really want to make a difference and like to work on things that have a high practical relevance while having the ambition to compete at an international scientific level (i.e., present at top conferences and in top journals). To apply for the position you should follow the link at the bottom of this vacancy description. Your application should consist of: a cover letter (maximum 1 page A4), emphasizing your specific interest, qualifications and motivations to apply for this position; a full Curriculum Vitae; a list of publications; an abstract of your PhD thesis; contact details of at least two referees who worked closely with you;  Applications should be submitted before Monday June, 8th 2015.
 

扫一扫知识人网官方微信订阅号,关注更多学术资讯、博士后招聘信息。
国外博士后、访问学者申请免费专业评估,专业顾问在线答疑解惑。

快速申请国外博士后(免费评估)


点击这里快速申请国外博士后

点击这里快速申请国外访问学者

知识人网是专职国外博士后访问学者申请的服务机构,获评“北京诚信服务示范单位”。
自2004年起,累计十余年申请经验,以大量名校申请成功案例、及全球三万余所院校导师资源为基石,提供优质的申请咨询服务。
400电话:400-060-0581,欢迎您随时来电咨询!