-
10.08.2021, Academic staff Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification - PhD student in
-
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
-
data analytics frameworks (Hadoop, Spark, Flink, etc.) is desired - Interest in the development of software systems, very good knowledge and skills in programming with standard programming languages
-
XRD, Raman, IR, TEM, XPS. • Experience (also for setup design) using CAD software (e.g., Solidwork), Python, MATLAB, or similar. The following papers are a good starting point to get familiar with
-
relevance ▪ Software: experience working with MATLAB, C++, Python or similar ▪ Goal-oriented, independent and structured work style Our offer ▪ Current research topic in a challenging international working