当前位置: 硕博英才网 > 博士后招聘 > 国外博士后招聘 >

南丹麦大学(欧登塞校区)2019年招聘博士后

发布时间:2019-06-26 10:46信息来源:南丹麦大学

招聘简介:

并发和逻辑中的博士后

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

声明:凡本网注明“来源:XXX”的文/图等稿件,本网转载出于传递更多信息及方便产业探讨之目的,并不意味着本站赞同其观点或证实其内容的真实性,文章内容仅供参考。如其他媒体、网站或个人从本网站转载使用,须保留本网站注明的“来源”,并自负版权等法律责任。作者如果不希望被转载或者联系转载等事宜,请与我们联系。邮箱:shuobojob@126.com。

微信公众号

关注硕博英才网官方微信公众号

硕博社群

更多社群>