Sort by
Refine Your Search
-
(KCDS) is a graduate school at KIT Center MathSEE that offers an interdisciplinary training program for doctoral researchers in the field of model-driven and data-driven computational science. We
-
forms of work and flexible working time models Opportunities for student research projects and theses Internships Responsible tasks that will help you develop your skills State-of-the-art technology and
Searches related to model checking
Enter an email to receive alerts for model-checking positions