-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
your mathematical interests and with whom/in which project you would like to work academic cv list of publications (if any) MSc thesis (or similar) if already available (otherwise a description of the
-
University of Munich is required. Salary and benefits are in accordance with the German public sector scale, TV-L E13. - Your Profile 1. Strong mathematical background (e.g., linear algebra, optimization
-
Potsdam-Institut für Klimafolgenforschung e.V. (PIK) | Potsdam, Brandenburg | Germany | about 2 months ago
) in a relevant field, such as economics, geography, climate sciences, physics or mathematics experience in quantitative research, documented by relevant publications in peer-reviewed journals (for PhD
-
... • Master’s degree in economics, mathematics, psychology, biology, business/management, physics, or related fields • PhD degree (for postdoctoral researchers) in one of the above-mentioned fields • Outstanding
-
(typically mathematics, physics). For Postdocapplicants: Excellent track recordin computer science or engineering. Fluency in spoken and written English is required. Proficient in at least one programming