-
well as the needed system software needed to extract a maximum of efficiency form the respective architectures. The latter includes work on programming mod-els, operating systems, scheduling, tools, I/O as
-
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
-
Advanced software development and data analytics skills Hands-on mentality with first practical experience in developing innovative technology Inquisitive and passionate about research and knowledge transfer
-
strategies withing current and emerging software packages and tools (Chao et al. Nat Immunol 2023, Almeida et al. Sci Immunol 2022) The successful candidate will be hosted in the Department Infection
-
with large-scale 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
-
communication theory, as 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
-
mobility systems through 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
-
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