-
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
-
something new—complemented by teamwork and fostering personal relationships. From assistants, students, researchers, postdocs to professors; we are all working hand in hand, are highly committed, and engaged
-
something new — complemented by teamwork and fostering personal relationships. From assistants, students, researchers, postdocs to professors; we are all working hand in hand, are highly committed, and
-
verification methods and software for emerging computing technologies. Our focus on interdisciplinary partnerships and networks will enable you to meet many interesting people (at places all over the world) and
-
the passion to accomplish something new—complemented by teamwork and fostering personal relationships. From assistants, students, researchers, postdocs to professors; we are all working hand in hand, are highly
-
something new—complemented by teamwork and fostering personal relationships. From assistants, students, researchers, postdocs to professors; we are all working hand in hand, are highly committed and engaged