66 formal-verification-computer-science uni jobs at Technical University of Munich in Germany
Sort by
Refine Your Search
-
10.05.2024, Wissenschaftliches Personal The Munich Institute of Integrated Materials, Energy and Process Engineering (MEP), based in Garching, is an integrative research center that combines
-
qualification - PhD/MSc degree in bioinformatics, computer science, mathematics, life sciences - background in Machine Learning and/or RNAseq analysis - interest in biological applications - passion for science
-
/d) in Energy Informatics, specifically for a DFG project in wind power forecasting using machine learning. You are passionate about applying cutting-edge information technology to solve the energy and
-
simulator, collaboration in LuFo project, The Chair of Helicopter Technology at the Technical University of Munich offers a research assistant position (E13) as part of the LaBouR research project
-
representations. • Computational efficiency: Designing adaptive and physics-aware strategies (e.g., optimized residual selection, physics-based zooming) for real-time inference. • Practical usability: Developing
-
Qualifications • You have a degree (Master’s or equivalent) in Civil Engineering or Mechanical Engineering with a strong focus on continuum-solid mechanics and computational methods. • You have experience
-
. Contact Prof. Holger Boche, Technical University of Munich, School of Computation, Information and Technology, Chair of Theoretical Information Technology, Theresienstrasse 90, 80333 Munich. https
-
focus on business and management (e.g. business administration, industrial engineering, business informatics or economics), informatics or natural sciences/engineering with an outstanding degree (resp
-
observation will be supported. YOUR QUALIFICATIONS PhD in computer science, geoinformatics, data science, business administration, or comparable field of study professional experience in Earth observation and
-
Decision Sciences, Technion - Israel Institute of Technology. The candidate is expected to conduct research and advance knowledge in the topic of court operations using methodologies from the fields