Sort by
Refine Your Search
-
Employer
-
Field
-
collaborative framework, as a formal member of the Basel Graduate School of History (BGSH). The salary and social benefits will be provided according to the rules of the University of Basel. All team members can
-
and damage models to cross benefit between numerical models and hybrid models. Verification is by deliverable reports and scientific publications. This PhD is part of the ASSESS project, you can read
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions