60 parallel-computing-numerical-methods-"Prof" Postdoctoral positions at Technical University of Munich in Germany
Sort by
Refine Your Search
-
: 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
-
] 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
-
computer aided methods. Qualifications and Experience • Outstanding academic degree in materials science, metallurgy, metal physics or similar degree • Excellent doctorate with focus on computational
-
verification scalable and reliable. Learn more about logical zonotopes: [paper link ] | [talk link ]. You will conduct original research on logical zonotope based methods for model checking and digital circuit
-
methods for the design, verification, and test of circuits and systems for conventional as well as alternative and post-CMOS computing technologies. Besides that, we have successfully applied the methods
-
methods, machine learning algorithms, and prototypical systems controlling complex energy systems like buildings, electricity distribution grids and thermal systems for a sustainable future. These systems
-
for students. Requirements We require for the position the following: A Ph.D. in the field of Applied Mathematics, Computer Science, Computational Science and Engineering, or similar. Knowledge of numerics as
-
advanced machine learning methods for multimodal and 3D medical image analysis in musculoskeletal medicine, in close collaboration with clinicians and computer scientists. PhD or Postdoctoral Researcher
-
activities. ________________________________________ Candidate Requirements ✅ PhD degree in Engineering, Computer Science, Systems & Control, Statistics, Computational Physics, Computational Chemistry
-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification