The page you are requesting does not exist. You can start your search here!
2 model-checking Postdoctoral research jobs at Technical University of Munich in Germany
Sort by
Refine Your Search
-
on formal verification and reachability analysis using logical zonotopes, with applications in digital circuit verification and model checking. Candidates should have a strong mathematical background and
-
, effort, and experimental expenses, and to provide data that is unachievable through experiments. Chemical kinetic models form the basis for a predictive tool, used to understand, optimise, and engineer
Searches related to model checking
Enter an email to receive alerts for model-checking positions