Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
degree or PhD in Computer Science, Electrical Engineering, Control Systems, or a closely related field. Experience in reachability analysis, formal verification/model checking, control theory, or related
-
] Subject Area: Representation Theory Appl Deadline: 2025/07/31 11:59PM (posted 2025/07/01) Position Description: 2025/09/30 11:59PM Position Description The TUM School of Computation, Information and Technology
-
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
-
provably safe reinforcement learning. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international culture. Expected
-
Researchers: Ph.D. in Computer Science or Mathematics, ideally with a background in one or more of the following areas: Optimization, Game Theory, Machine Learning Applicants must demonstrate: • An excellent
-
. The project’s overarching goal is the development of digital quantum algorithms for the simulation of non-abelian lattice gauge theories. We are looking for highly motivated individuals, with the desire
-
08.09.2025, Wissenschaftliches Personal with a strong connection to partial differential equations (numerics / analysis / modeling) (100%, TV-L) is available starting immediately. The position in
-
navigation of autonomous ships. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international culture. Expected Starting Date
-
automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international
-
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