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
-
, 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
-
) to improve disease characterization. Develop cutting-edge architectures (e.g., federated learning) for medical research. Publish high-impact research in leading journals and conferences. Collaborate with
-
important to oversee the general robotic testbed development, including the control and sensing architecture for seamless integration of systems from the bottom-up. The operator would require the crucial
-
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