丹麦南方大学的博士后

　　招聘简介：

　　并发和逻辑中的博士后

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