Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Technical University of Munich
- Forschungszentrum Jülich
- Nature Careers
- Heidelberg University
- Leibniz
- Deutsches Zentrum für Neurodegenerative Erkrankungen
- Friedrich Schiller University Jena
- 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
- 1 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
-
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
-
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
-
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
-
conferences and the preparation of project reports. Develop and apply software tools. Documentations of software and data according to the FAIR data principles. Contributions to workshops and training
-
reports Develop and apply software tools Document software and data according to the FAIR data principles Contribute to workshops and training activities Your Profile: Master with subsequent PhD degree in
-
software programming in C++/Python, ROS and MATLAB. Excellent command of English; German language skills are a plus. High motivation and the ability to work independently as well as within an international