Sort by
Refine Your Search
-
- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by
-
, where laboratory functions should be integrated and automized on small chips. A possible way of establishing a precise reliable microfluidic control is via flows induced via electric fields in anisotropic
Searches related to reliability phd
Enter an email to receive alerts for reliability-phd positions