扫描二维码关注“博士后招聘网”微信订阅号或微信搜一搜“博士后招聘网”关注我们。
当前位置: 中国博士后招聘网 > 国外博士后招聘 > 南丹麦大学(欧登塞校区)2019年招聘博士后

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

【简介】博士后招聘网整理分享南丹麦大学(欧登塞校区)2019年招聘博士后,浏览查询更多博士后招聘计划请访问博士后招聘网

招聘简介:

并发和逻辑中的博士后

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

请您在邮件申请时在标题注明信息来自:博士后招聘网-boshihoujob.com,电话咨询时说明从博士后招聘网(www.boshihoujob.com)看到的博士后招聘信息。

信息来源:未知 | 作者:admin | 时间:2019-06-27 10:28
原标题:
内容出自:
特别声明:本文转载仅仅是出于传播信息的需要,并不意味着代表本网站观点或证实其内容的真实性;如其他媒体、网站或个人从本网站转载使用,须保留本网站注明的“来源”,并自负版权等法律责任;作者如果不希望被转载请与我们联系,我们会在第一时间处理。

Copyright boshihoujob.com Corporation. All rights reserved. 博士后招聘网 版权所有

本网站所有资讯内容、广告信息,未经书面同意,不得转载。

博士后招聘网(www.boshihoujob.com)专注服务于海内外博士后研究人员。

信息发布--请将博士后招聘信息发送至邮箱boshihoujob@163.com或QQ:878065319。