招聘簡介：

　　PostDoc位置（m / f / d）

　　萊布尼茲波茨坦氣候影響研究所（PIK）

　　德國波茨坦

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

　　氣候需要聰明的頭腦。波茨坦氣候影響研究所（PIK）處理全球變化，氣候影響和可持續發展領域的重要科學問題。它是該領域世界領先的研究機構之一，為來自世界各地的自然和社會科學家提供了一個鼓舞人心的優秀跨學科研究環境。

　　對于“復雜性科學”系的“計算方法和可視化”研究小組，PIK正在提供1

　　PostDoc位置（m / f / d）

　　在應用計算機科學中，側重于在不確定性下驗證決策的正式方法

　　最早的開始日期是01.09.2019。

　�。ㄎ恢镁幪枺篟D4-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.

為防止簡歷投遞丟失請抄送一份至：boshijob@126.com（郵件標題格式：應聘職位名稱+姓名+學歷+專業+中國博士人才網）