-
assumptions that need to be made in order to solve or estimate the model, and understand their implications; Develop methods necessary to extract research results from data; Present research findings
-
Exchange (AMS-IX), and the Faculty of Science of the University of Amsterdam. About Research group The PhD students will be employed for 4 years in the Intelligent and Autonomous Systems Group (IAS, https
Searches related to model checking
Enter an email to receive alerts for model-checking "University of Amsterdam" positions