Sort by
Refine Your Search
-
Category
-
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
-
representation theory. • Some experience with SageMath, polymake or other related mathematical software. • Proficiency in English, both written and spoken. Knowledge of German is not required. In addition
-
energy system optimization and control Engineering, Applied Mathematics or a comparable quantitative discipline Very good software development and data analysis skills Inquisitive and passionate about
-
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