您的位置:中国博士人才网 > 博士后招收 > 海外博士后招收 > 丹麦南方大学的博士后

关注微信

丹麦南方大学的博士后

时间:2019-06-27来源:中国博士人才网 作者:佚名

 招聘简介:

  并发和逻辑中的博士后

  南丹麦大学(SDU)

  丹麦欧登塞M

  发布于3天前Exire于2019年7月12日

  南丹麦大学(欧登塞校区)的数学和计算机科学系邀请在并发和逻辑领域申请博士后研究奖学金。拟议的起始期间是2019年10月,或此后尽快。该职位的初始期限为两年,可以延期。丹麦博士后奖学金的总持续时间不得超过四年。

  英文原文:

  Postdoc in Concurrency and Logic

  University of Southern Denmark (SDU)

  Odense M, Denmark

  Posted about 3 days agoExpires on July 12, 2019

  The Department of Mathematics and Computer Science at the University of Southern Denmark (Odense Campus) invites applications for a postdoctoral research fellowship in the area of Concurrency and Logic. The proposed starting period is October 2019, or as soon as possible thereafter. The position is for an initial duration of two years, with possibility of extension. The total duration of a postdoctoral fellowship in Denmark cannot exceed four years.

  In the Concurrency and Logic group, we develop language-based models and tools to improve the correctness and productivity of programming concurrent systems. We seek an ambitious candidate with a strong background in at least one of the following areas:

  ·         Design and implementation of programming languages

  ·         Microservices & DevOps

  ·         Deployment Optimization

  ·         Constraint Programming, SMT, MIP, or local search solvers.

  Experience in developing and/or applying software tools based on formal methods is a plus.

  The applicant is expected to participate in the teaching and supervision activities within the department.

  Deadline: 12 July 2019.

  Please see the full call, including how to apply, on www.sdu.dk.

为防止简历投递丢失请抄送一份至:boshijob@126.com(邮件标题格式:应聘职位名称+姓名+学历+专业+中国博士人才网)

中国-博士人才网发布

声明提示:凡本网注明“来源:XXX”的文/图等稿件,本网转载出于传递更多信息及方便产业探讨之目的,并不意味着本站赞同其观点或证实其内容的真实性,文章内容仅供参考。