4 computer-algorithm-"Prof" Postdoctoral scholarships at Technical University of Munich in Germany
-
: Prof. Dr. Barbara Wohlmuth, Chair of Numerical Mathematics (M2) TUM School of Computation, Information and Technology Boltzmannstraße 3, D-85748 Garching Please do not submit original documents! We
-
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
-
Priority Programme SPP2311 (German Research Council), the Chair of Numerical Mathematics under the leadership of Frau Prof. Dr. Barbara Wohlmuth is seeking a candidate for a PhD or postdoctoral position (100
-
for quantum computers and develop methods and software tools dedicated to the design and realization of quantum algorithms/circuits. We see ourselves as an interface between the stakeholders building physical