The page you are requesting does not exist. You can start your search here!
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
varied job in a future-oriented research institute A state-of-the-art infrastructure and the latest technologies Flexible working hours, part-time models as well as home office A corporate culture of
-
Your Job: The project focusses on Tans-Neptunian objects. The key objective is to develop ML tools that provide a quantitative assessment for the quality of fit between observed properties of Trans
-
/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