Sort by
Refine Your Search
-
Country
-
Employer
-
Field
-
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
-
the group with lab organization, compilation of data and manuscripts writing for publication, participating, and presenting progress updates in internal group meetings, division’s PhD/Postdoc seminars and
Searches related to software verification postdoc
Enter an email to receive alerts for software-verification-postdoc positions