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

丹麦南方大学的博士后
文章来源:知识人网整理       更新时间:2019年06月24日

  招聘简介:

  并发和逻辑中的博士后

  南丹麦大学(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.

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

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


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

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

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