优博娱乐平台

您的位置: 中国科学人才网 > 博士后招收 > 国外博士后招收 >

丹麦南方大学的博士后_中国科学人才网-构建全球科研人才第一社区

来 源:科学人才网
发布优博娱乐平台: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.

关注微信公众号