Sort by
Refine Your Search
-
Category
-
Field
-
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
-
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
-
, structure theory of Kac-Moody algebras, geometric/combinatorial representation theory, quiver representation theory. • Some experience with SageMath, polymake or other related mathematical software
-
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