1 software-verification-postdoc "Ludwig Maximilians Universität München •" PhD positions in Germany
Sort by
Refine Your Search
-
of control software, and reuse efforts from earlier stages as much as possible. On-the-fly Synthesis and Verification: We develop techniques for the online verification and synthesis of controllers
Searches related to software verification postdoc
Enter an email to receive alerts for software-verification-postdoc "Ludwig Maximilians Universität München •" positions