-
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
-
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 committed
-
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 committed
-
, simulation, 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
-
characterized by 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
-
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 committed and