Sort by
Refine Your Search
-
Listed
-
Program
-
Employer
- Leibniz
- Technical University of Munich
- Humboldt-Stiftung Foundation
- DAAD
- Fraunhofer-Gesellschaft
- Freie Universität Berlin •
- Friedrich Schiller University Jena •
- Max Planck Institute for Molecular Genetics •
- Max Planck Institute of Molecular Plant Physiology •
- Technische Universität Berlin •
- Ulm University •
- University of Göttingen •
- University of Stuttgart •
- 3 more »
- « less
-
Field
-
/model checking, probabilistic or timed systems, automated theorem proving (Isabelle, Coq). Besides, we strongly appreciate experience with developer activities as described below. Developer: Your tasks
Searches related to model checking
Enter an email to receive alerts for model-checking positions