Sort by
Refine Your Search
-
12.05.2025, Wissenschaftliches Personal PostDoc- und Promotionsstellen in der Theorie der Quantensimulation Dauer: 2 - 3 Jahre (PostDoc) & 3 - 4 Jahre (Promotion) Ort: School of Natural
-
computer science with very good results - Interest on topics around the area of distributed systems and data management - Basic knowledge in distributed systems and graph algorithms is desired - Hand-on experience
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
-
Learning Formal Methods Dynamical Systems Control Theory Context The applicant will be directly advised by Prof. Matthias Althoff (https://www.ce.cit.tum.de/cps/members/prof-dr-ing-matthias-althoff
-
Max Planck Institute for Mathematics in the Sciences | Leipzig, Sachsen | Germany | about 1 month ago
excellent, with a dedicated and competent staff. Relevant initiatives (conferences, workshops, etc) can be funded. While the central topic of the research group is cluster algebra theory, we take special
-
Mathematics (analysis, numerics, modeling) or in a comparable program with a strong mathematical focus and knowledge in, for example, functional analysis as well as the theory and numerics of PDEs. Strong
-
interdisciplinary team. Applicants with strong background in the following fields are preferred: Dynamical Systems Control Theory Formal Methods Machine Learning Context The applicant will be directly advised by Prof
-
brings together methodologists (from areas like statistics, computer science or formal demography) with population scientists in order to foster cross-pollination of ideas, to advance methods and theories
-
: Dynamical Systems Control Theory Formal Methods Reachability Analysis Computational Geometry Context The applicant will be directly advised by Prof. Matthias Althoff (https://www.ce.cit.tum.de/cps/members
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
are searching for outstanding candidates, with a successful degree (master/ diploma/doctoral/PhD) with exceptional records. A strong disciplinary background in • control, system theory and optimization • machine