2 computional-geometry-algorithm positions at Technical University of Munich in Germany

PhD or Postdoc Position in Numerical Mathematics 100%

Technical University of Munich | Garching an der Alz, Bayern | Germany | 20 days ago

The TUM School of Computation, Information and Technology at the Technical University of Munich (TUM) welcomes applications for a PhD or Postdoc Position (m/f/d, 100%, 2 years+) in Numerical Mathematics

PhD/Postdoc Position for Automatic Formal Verification of Cyber-Physical Systems Using Reachability Analysis

Technical University of Munich | Germany | about 8 hours ago

that algorithmic parameters are tuned so that the over-approximation of the computed reachable set is small enough to verify a given specification. We will demonstrate our approach not only on ARCH benchmarks, but