Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Technical University of Munich
- Forschungszentrum Jülich
- Leibniz
- Heidelberg University
- Nature Careers
- Deutsches Zentrum für Neurodegenerative Erkrankungen
- Friedrich Schiller University Jena
- Hasso Plattner Institute;
- Max Planck Institute for Heart and Lung Research, Bad Nauheim
- Max Planck Institute for Mathematics in the Sciences
- Max Planck Institute for Nuclear Physics, Heidelberg
- University of Tübingen
- 2 more »
- « less
-
Field
-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification
-
explore new topics while playing nice in a team. Your main task will be the development, conceptualization, and eventual implementation of new design automation methods and software for your field, e.g
-
-specific to the Global South), such as digital colonialism, global inequalities, platformatisation, open-source software, peer-to-peer code, data justice and power in global governance, digital sovereignty
-
Deutsches Zentrum für Neurodegenerative Erkrankungen | Bonn, Nordrhein Westfalen | Germany | 6 days ago
, software tools and the opportunity for international exchange with your colleagues from 65 nations Work-life balance - we reconcile work and private life with flexible working hours, 30 days' holiday (On top
-
; Expertise and experience in measuring and modelling of land-ocean element fluxes; Experience with (reactive transport) modelling software; Experience in field and laboratory work; Experience working
-
researchers to support complex behavioral experiments. Qualifications: Experience in designing and building custom optical systems. Familiarity with Zemax and CAD software. Strong programming skills in C
-
skills, including the use of online databases for literature searches as well as bibliographic software. Excellent intercultural communication skills. Ability to work both independently and as part of a
-
division 8.5 Planning, performing, and evaluating in-situ/4D computed tomography experiments Developing software for the quantitative evaluation of various image data sets (algorithms for detecting volume
-
, TensorFlow, Pandas), ideally combined with knowledge of data visualization or statistical analysis Knowledge of software development (e.g., Python, Matlab, Simapro), especially in combination with experience
-
CV and a brief track record (publications, projects, software, funding experience if applicable) to florian.hinterwimmer@tum.de . We appreciate your interest in the Technical University of Munich and