-
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
-
10.08.2021, Academic staff Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification - PhD student in
-
(Heilbronn Education Campus). TUM Campus Heilbronn focuses on the areas of managing digital transformation, family businesses, and computer science. Requirements - Master’s degree in computer science with very
-
and coded computing (1 postdoc, 1 PhD, Antonia Wachter-Zeh, antonia.wachter-zeh@tum.de) • Theory for communication systems beyond Shannon's approach (1 postdoc, 1 PhD, Christian Deppe, christian.deppe