Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
probabilistic behavioral models for verification, performance evaluation, and optimization using model-checking techniques, ultimately bridging static system design and dynamic operational analysis. We offer
-
members and more than 55 doctoral students and postdoctoral fellows. The Department conducts research at an international high level within the disciplines of algebra, analysis, didactics of mathematics
Enter an email to receive alerts for postdoctoral-optimization "https:" positions