Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
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, 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
-
computer science with very good results - Interest on topics around the area of distributed systems and data management - Basic knowledge in distributed systems and graph algorithms is desired - Hand-on experience
-
• Integrated sensing and communication: fundamental limits and algorithm design (1 PhD, Mari Kobayashi, mari.kobayashi@tum.de) • Optical fiber channel modeling, receiver processing, and coding (1PhD, Gerhard