66 computer-programmer-"https:"-"U"-"UCL" "https:" "https:" "https:" "https:" "https:" "https:" "P" scholarships at Technical University of Munich
Sort by
Refine Your Search
-
tailored computational methods are needed. This project aims at combining probabilistic machine learning methods with prior knowledge in the form of graphs to analyze and predict food-effector systems. Key
-
molecular level. To yield new insights into food-effector systems, sophisticated and tailored computational methods are needed. This project aims at leveraging graph-theoretic approaches to analyze and
-
. Classical cryptographic techniques face inherent limitations, especially regarding future threats from quantum computers or AI-driven adversarial strategies. Physical layer security offers a promising
-
Manipulation in Cluttered and Dynamic Environments (ID: TUEILSY-PHD20240930-SCMM) A more detailed topic description can be found at https://www.ce.cit.tum.de/lsy/open-positions/open-phd-positions/ . Requirements
-
Technical University of Munich School of Computation, Information and Technology Chair of Theoretical Information Technology Theresienstrasse 90, 80333 Munich https://www.ce.cit.tum.de/en/lti/team/boche
-
% international students in the MA program. The visual computing lab embraces its diverse culture, and is proud to host PhD students from over 10 different countries. Our lab language is English. The position is
-
Objectives Development of sensitivity framework for coupled sensitivity analysis. Extend the developed framework to support FSI problems, and identify suitable sensitivity computation methods. Identify
-
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/prof-dr-ing
-
Universitätsklinikum rechts der Isar der TU München Ismaninger Str. 22, 81675 München http://kornlab.med.tum.de The position is suitable for disabled persons. Disabled applicants will be given preference in case
-
quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky