【简介】博士后招聘网整理分享“丹麦奥尔堡大学2021年招聘博士后职位（计算机科学/数字建模）”，浏览查询更多博士后招聘计划请访问博士后招聘网。

丹麦奥尔堡大学2021年招聘博士后职位（计算机科学/数字建模）

University of Aalborg (AAU)

Postdoc in Mathematical Modeling and Formal Methods

Qualifications: We are looking for a highly motivated researcher in the area of mathematical modeling and formal methods. The ideal candidate will have a PhD degree in computer science or mathematics. She/he is required to demonstrate a strong background and understanding in at least one of the following areas:

•Mathematical modeling via dynamical systems (e.g., differential equations)

•Tool development in the area of formal verification (e.g., model checking)

The position is for up to two years, the tentative starting date is February 2022 or soon thereafter. Fluent written and verbal communication skills in English are required, while a knowledge of Danish is not compulsory.

Topic: The envisaged research will focus on the development and implementation of reduction algorithms for quantitative models. The PostDoc will be supervised by Max Tschaikowski and be a member of the DEIS group led by Kim G. Larsen, the 3rd most cited Danish computer scientist. She/he will be expected to perform independent research, collaborate with team members and help with the supervision of PhD and MSc students as appropriate.

For an idea about the area of research, candidates may take a look at the ERODE tool page (www.erode.eu) and the following publications:

•L. Cardelli et al. Maximal aggregation of polynomial dynamical systems. Proceedings of the National Academy of Sciences (PNAS), 2017

•L. Cardelli et al. ERODE: A tool for the evaluation and reduction of ordinary differential equations. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2017

Host institution: The Computer Science Department at Aalborg University takes a leading international position within data management and quantitative modeling, while Aalborg is a vibrant student city with an international airport. Denmark took the top spot on the United Nation’s World Happiness Report, 2013 & 2014 & 2016 and came in third in the 2015 report: http://www.https://www.visitdenmark.com/

Application procedure: The applicant must have obtained a PhD degree before the appointment day. In addition to an academic CV and recommendation letters, the applicant should provide a short cover letter which describes applicant’s background and research interests. More specifically, interested applicants should provide the following:

Cover letter describing the reasons for applying and qualifications in relation to the position

•Current academic CV

•Research statement

•Letters of recommendation (2 – 3)

•Copies of relevant certificates (MSc. and PhD). On request you could be asked for an official English translation

•Additional qualifications in relation to the position (e.g., secured scientific grants, participation in committees, organization of scientific events)

•Personal data

For any questions, please contact Max Tschaikowski ( tschaikowski@cs.aau.dk )

Applications should be send by email to Max Tschaikowski no later than the 1st of December 2021.

更多最新博士后招收信息请关注博士后招聘网微信公众号（ID：boshihoujob）

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

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