德国莱布尼兹波茨坦气候影响研究所博士后职位

　　招聘简介：

　　PostDoc位置（m / f / d）

　　莱布尼兹波茨坦气候影响研究所（PIK）

　　德国波茨坦

　　发布于6天前在2019年7月16日到期

　　气候需要聪明的头脑。波茨坦气候影响研究所（PIK）处理全球变化，气候影响和可持续发展领域的重要科学问题。它是该领域世界领先的研究机构之一，为来自世界各地的自然和社会科学家提供了一个鼓舞人心的优秀跨学科研究环境。

　　对于“复杂性科学”系的“计算方法和可视化”研究小组，PIK正在提供1

　　PostDoc位置（m / f / d）

　　在应用计算机科学中，侧重于在不确定性下验证决策的正式方法

　　最早的开始日期是01.09.2019。

　　（位置编号：RD4-Postdoc Position-26-2019）

　　成功的候选人将成为欧盟资助的H2020项目“地球系统的临界点”（TiPES）的一部分，并将在不确定的情况下研究正式的经过验证的决策方法。该职位的资助期为3年。薪酬按照德国公共关税计划（TV-L Brandenburg），薪资组E 13按100％计算。该职位可以兼职填补。

　　英文原文：

　　PostDoc Position (m/f/d)

　　Leibniz Potsdam Institute for Climate Impact Research (PIK)

　　Potsdam, Germany

　　Posted about 6 days agoExpires on July 16, 2019

　　The climate needs bright minds. The Potsdam Institute for Climate Impact Research (PIK) addresses crucial scientific questions in the fields of global change, climate impacts and sustainable development. It is one of the world’s leading research institutions in its field and offers natural and social scientists from around the world an inspiring environment for excellent interdisciplinary research.

　　For the research group “Computational Methods and Visualization” at the Department of “Complexity Science” PIK is offering 1

　　PostDoc Position (m/f/d)

　　in applied computer science with a focus on formal methods for verified decision making under uncertainty

　　The earliest starting date is 01.09.2019.

　　(Position number: RD4-Postdoc Position-26-2019)

　　The successful candidate will be part of the EU-funded H2020 project “Tipping Points of the Earth System” (TiPES), and will work on formal methods for verified decision making under uncertainty. The position is funded for 3 years. Remuneration is in accordance with the German public tariff scheme (TV-L Brandenburg), salary group E 13 with 100%. The position can be filled on a part-time basis.

　　The TiPES project:

　　Several subsystems of the Earth may respond abruptly at critical future levels of anthropogenic forcing, which have been associated with tipping points. It is paramount to identify safe operating spaces in terms of these critical forcing levels, in order to prevent harmful transitions to alternative, undesirable states of the Earth and its subsystems. The mechanisms leading to abrupt climate transitions are only partly understood, and reliable warning signals for forthcoming transitions are urgently needed. TiPES addresses these questions in a joint effort of 18 European institutions, combining paleoclimatology, time series analysis, Earth system modelling of past and future climates, applied mathematics and dynamical system theory, as well as decision theory.

　　Key responsibilities:

　　The successful candidate will be part of work package WP6 ""Understand and communicate the impacts of tipping point uncertainties on accountable policies"" of the TiPES project. Main responsibilities will be the formalization of ""tipping point"" notions in the context of climate science, the extension and the application of the IdrisLibs (https://gitlab.pik-potsdam.de/botta/IdrisLibs) framework to decision problem under uncertainty. The work will be carried out under the direct supervision of Nicola Botta (engineering, computer science), in close collaboration with Michel Crucifix (climate science and dynamical system theory) at UCLouvain. The successful candidate will also be responsible for the publication of scientific results in climate and computer science journals. Ideal candidates have a strong background in functional programming, dependently typed programming, type theory, algebra of pro-gramming and domain-specific languages. A background in dynamical systems theory and/or climate science, fluent English, French and German and the willingness to contribute to a multi-disciplinary research are strong assets.

　　Requirements:

　　·         PhD-degree or equivalent completed in computer science, mathematics or related field or to be completed within 6 months

　　·         Good knowledge of functional programming and of at least one of the following programming languages: Haskell, Idris, Agda, Coq, ML, MMT, Blodwen

　　·         Excellent grades, written and spoken English and communication skills

　　We offer:

　　·         The opportunity to contribute to an interdisciplinary collaboration of leading European research institutions

　　·         The participation to international workshops and conferences

　　·         A stimulating working environment in an internationally recognized research institute on Potsdam’s beautiful, historic Telegrafenberg campus

　　·         A collective pay scheme and associated benefits

　　PIK seeks to increase the share of women in scientific positions and therefore explicitly encourages women to apply. In cases of equal qualification and within the given legal scope, women will be given preference. Applications by persons with a migration background are expressly encouraged. Applications of disabled persons with equal qualifications will be regarded favourably. PIK also encourages applications by parents returning from parental leave.

　　Please send your full application (including cover letter, CV with list of publications, contact details of two referees, Master and PhD certificates) as a single PDF document by E-Mail (Reference: RD4-Postdoc Position-26-2019), quoting the position number given above and mentioning where you read about the position by 15.07.2019 at the latest to bewerbung@pik-potsdam.de. The size of the file should not exceed 15 MB.

　　For further information or to discuss the position please contact Dr. Nicola Botta via E-Mail: botta@pik-potsdam.de.