招聘簡介：
并發(fā)和邏輯中的博士后
南丹麥大學(xué)（SDU）
丹麥歐登塞M
發(fā)布于3天前Exire于2019年7月12日
南丹麥大學(xué)（歐登塞校區(qū)）的數(shù)學(xué)和計算機科學(xué)系邀請在并發(fā)和邏輯領(lǐng)域申請博士后研究獎學(xué)金。擬議的起始期間是2019年10月，或此后盡快。該職位的初始期限為兩年，可以延期。丹麥博士后獎學(xué)金的總持續(xù)時間不得超過四年。
英文原文：
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.
為防止簡歷投遞丟失請抄送一份至：boshijob@126.com（郵件標題格式：應(yīng)聘職位名稱+姓名+學(xué)歷+專業(yè)+中國博士人才網(wǎng)）
中國-博士人才網(wǎng)發(fā)布
聲明提示：凡本網(wǎng)注明“來源：XXX”的文/圖等稿件，本網(wǎng)轉(zhuǎn)載出于傳遞更多信息及方便產(chǎn)業(yè)探討之目的，并不意味著本站贊同其觀點或證實其內(nèi)容的真實性，文章內(nèi)容僅供參考。
