PostDoc Position (m/f/d)
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.
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 programming 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.
- 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
- 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 Email (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
firstname.lastname@example.org. 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: email@example.com.