Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
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
-
well as in quantum coding theory ▪ Interest in theoretical work with high practical relevance ▪ Interest in demonstrating research results on a hardware platform ▪ Software: Experience with MATLAB, C++, Python
-
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
-
practical and laboratory tests as well as sophisticated simulations. We not only publish research results gained at numerous conferences and in journals, but also make our software available in open source
-
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