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

瑞典乌普萨拉大学并发软件的验证与测试博士后招聘
文章来源:知识人网整理       更新时间:2020年02月21日

  瑞典乌普萨拉大学并发软件的验证与测试博士后招聘

  Uppsala University is a comprehensive research-intensive university with a strong international standing. Our mission is to pursue top-quality research and education and to interact constructively with society. Our most important assets are all the individuals whose curiosity and dedication make Uppsala University one of Sweden’s most exciting workplaces. Uppsala University has 44.000 students, 7.100 employees and a turnover of SEK 7 billion.

  The Department of Information Technology has a leading position in research and education. The Department currently has about 280 employees, including 120 teachers and 110 PhD students. More than 4000 students study one or more courses at the department each year. More info: http://www.it.uu.se

  Duties/Project description: The candidate will perform research to develop techniques for verification and testing of concurrent software. Techniques in the scope of the project include program analysis, formal verification, model checking, symbolic execution, testing, fuzzing, taint analysis, and model learning.  An important goal is to extend the power and scalability of existing techniques so that they be applied on a wide range of concurrent code bases, such as concurrency libraries.

  A Post-Doctoral position  is time-limited for a maximum of two years, and may include some teaching (at most 20%).

  Environment: The position is funded by a grant from the Swedish Research council (VR). The work will be performed in an environment which contains groups at Uppsala University (Bengt Jonsson, Parosh Abdulla, Mohammed Faouzi Atig, Philipp Ruemmer, Kostis Sagonas, Wang Yi) that are world-renowned in the fields of automated verification, programming language implementation, and testing.  Contributions include the UPPAAL model checker, high-impact techniques and tools for testing and verification of multithreaded software, including Concuerror and Nidhugg, and several tools for the Erlang programming language. Members received the CAV (Computer-Aided Verification) Award, the most prestigious academic award in the area, both in 2013 (Wang Yi) and in 2017 (Parosh Abdulla and Bengt Jonsson).

  Requirements: To qualify for an employment as a postdoctor you must have a PhD degree or a foreign degree equivalent to a PhD degree in Computer Science, Computer Engineering, or equivalent. The PhD degree must have been obtained no more than three years prior to the application deadline. The three year period can be extended due to circumstances such as sick leave, parental leave, duties in labour unions, etc.

  A successful candidate should have a strong research experience in some of the fields: program analysis, compiler techniques, model checking, formal verification, testing, software engineering, and similar, as well as be proficient in building software systems and tools. The applicant must have good skills in spoken and written English.

  Criteria for ranking: When ranking several qualified applicants, scientific skills will be of primary importance. The university aims to recruit the person who, in the combined evaluation of competence, skills and documented qualification, is judged most suitable to independently carry out and develop the work at hand, and to contribute to a positive development of the aSSIsT project and the department.

  Application: Applications should include a description of research interests and past experience, including a motivation for applying for this position, a CV, copies of exams, degrees and grades, a copy of Ph.D. thesis (or a draft thereof), relevant publications, and other relevant documents.  Applications should be accompanied by at least two letter(s) of recommendation and contact information to reference persons, as well as earliest feasible starting date of employment.

  Uppsala University strives to be an inclusive workplace that promotes equal opportunities and attracts qualified candidates who can contribute to the University’s excellence and diversity. We welcome applications from all sections of the community and from people of all backgrounds.

  Salary: Individual salary.

  Starting date: September 1st, or as otherwise agreed.

  Type of employment: Temporary position according to central collective agreement.

  Scope of employment: 100 %

  For further information about the position please contact: Bengt Jonsson (bengt.jonsson@it.uu.se).

  Please submit your application by March 25, 2020, UFV-PA 2020/530.

  Are you considering moving to Sweden to work at Uppsala University? If so, you will find a lot of information about working and living in Sweden at http://www.uu.se/joinus. You are also welcome to contact International Faculty and Staff Services at ifss@uadm.uu.se.

  Please do not send offers of recruitment or advertising services.

  Submit your application through Uppsala University´s recruitment system.

  Placement: Department of Information Technology

  Type of employment: Full time , Temporary position longer than 6 months

  Pay: Fixed salary

  Number of positions: 1

  Working hours: 100%

  Town: Uppsala

  County: Uppsala län

  Country: Sweden

  Union representative: Seko Universitetsklubben seko@uadm.uu.se

  ST/TCO tco@fackorg.uu.se

  Saco-rådet saco@uadm.uu.se

  Number of reference: UFV-PA 2020/530


扫一扫知识人网官方微信订阅号,更多最新学术资讯、博士后招聘信息 一手掌握!国外博士后、访问学者申请免费专业评估,专家答疑解惑,一键关注离世界顶尖大学一步之遥!

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


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

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

知识人网拥有10余年专职国外博士后、访问学者职位服务经验;
世界30000多所大学、研究机构职位机会,学术研究职位专业服务机构;
资深专业顾问将竭诚为博士精英们提供最优质的服务,实现您梦想的阶梯;
全国免费电话欢迎垂询:400-060-0581 直拨电话:010-68168664/68228237/68161776/68227792