Sort by
Refine Your Search
-
. Contribute to research projects within discrete-event systems, supervisory control theory, and formal verification of automation systems. Engage in teaching at undergraduate and master's levels, if required
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions