Sort by
Refine Your Search
-
01.07.2025, Wissenschaftliches Personal The position is based within the research group of Deniz Kus, Professor for Representation Theory at the Department of Mathematics, part of the TUM School
-
Fritz Haber Institute of the Max Planck Society, Berlin | Berlin, Berlin | Germany | about 1 month ago
employees in 5 scientific departments conduct and facilitate top-level research on historic grounds in Berlin-Dahlem, which is unique worldwide. The FHI Theory department is currently looking to fill a PhD
-
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
-
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
-
Max Planck Institute for Nuclear Physics, Heidelberg | Heidelberg, Baden W rttemberg | Germany | about 1 month ago
strong links to theory groups at the institute and astrophysical interpretation and modelling work may also be included. PhD in Physics or Electronic Engineering. Knowledge of relevant technologies and/or
-
for the reward funds. Note that candidates are in no way expected to read this background material for the application. We provide the link here so that potential applicants can better assess whether they find
-
: 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
-
communication system are modeled using information theory. We wish to investigate how interleaving can reduce the overhead and computational load due to coding coefficients required in classical linear random
-
. Your qualifications An excellent PhD degree either in Computer Science, Physics, Mathematics or related fields, ideally with a background in quantum theory, quantum computing or quantum machine learning
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification