-
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
-
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
-
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
Enter an email to receive alerts for computer-software-"https:" positions