Sort by
Refine Your Search
-
Country
-
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
-
scenarios. This will involve, on the one hand, working with software defined radio equipment based on Universal Software Radio Peripheral (USRP) platforms, in order to provide software flexibility
-
and software system design, set up validation experiments, and publish the obtained results in high-rated conferences and journals. You contribute to the writing of project proposals and guide Master's
-
, remanufacturing, and recycling. The project targets TRL 5 demonstration, combining fundamental research with robust, reusable software demonstrators for industrial validation with 10 Flemish companies active in
-
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